Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(binary relation)accession, association, base, basis, marital_bed, marital_relationship, relation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1831-1832
No TPTP formula. May not be expressible in strict first order. Merge.kif 2235-2237
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 451-452
No TPTP formula. May not be expressible in strict first order. Merge.kif 2233-2233 Binary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2232-2232 Binary relation is a subclass of relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 251-251 catalyst is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 726-726 device OS is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1021-1021 hardware type is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17933-17933 physical end is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4419-4419 recovery key is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3862-3862 software version is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29578-29578 suffers is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2292-2292 Antisymmetric relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3479-3479 Binary predicate is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16900-16900 Economic relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2349-2349 Intransitive relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2249-2249 Irreflexive relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2239-2239 Reflexive relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2260-2260 Symmetric relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2333-2333 Transitive relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2310-2310 Trichotomizing relation is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3359-3359 Unary function is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 892-892
No TPTP formula. May not be expressible in strict first order. english_format.kif 986-986
No TPTP formula. May not be expressible in strict first order. french_format.kif 568-568
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order. terms-it.txt 101-101
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2253-2253

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3705 The number 1 argument of equivalence relation on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 111-111 The number 1 argument of inverse is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 112-112 The number 2 argument of inverse is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3642-3642 The number 1 argument of partial ordering on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3603-3603 The number 1 argument of reflexive on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3659-3659 The number 1 argument of total ordering on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3681-3681 The number 1 argument of trichotomizing on is an instance of binary relation


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners