• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Tee (symbol)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Symbol106806469, within Data Space : dbpedia.org associated with source document(s)

Type: placeyago:WikicatLogicSymbolsyago:Abstraction100002137yago:Communication100033020yago:Signal106791372yago:Symbol106806469 New Facet based on Instances of this Class

The tee (⊤, op in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent: * The top element in lattice theory. * The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum. * The top type in type theory. * Mixed radix encoding in the APL programming language. A similar-looking superscript T may be used to mean the transpose of a matrix.