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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryRelation

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 2147-2149
No TPTP formula. May not be expressible in strict first order. Merge.kif 2145-2145 Binary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2144-2144 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 2073-2074 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. emotion.kif 155-155 actionTendency is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4502-4502 burn-in period is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Catalog.kif 44-44 catalogItem is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 206-206 catalyst is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 203-203 category identifier string is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 20-20 contains formula is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 701-701 deviceOS is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. emotion.kif 139-139 emotionTendency is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4217-4217 experiment identifier string is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1019-1019 hardware type is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Geography.kif 5562-5562 hazardous is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 181-181 inhibits is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 123-123 listing bidder is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 92-92 listing buyer is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 56-56 listing seller is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 668-668 medicine is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 33-33 permits is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 55-55 prohibits is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 137-137 punishes is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 535-535 record for agreement is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4339-4339 recoveryKey is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Law.kif 93-93 rewards is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3799-3799 software version is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27786-27786 suffers is an instance of binary relation

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 3578-3578 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 110-110 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 111-111 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 3502-3502 The number 1 argument of irreflexive on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3521-3521 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 3484-3484 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 3538-3538 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 3554-3554 The number 1 argument of trichotomizing on is an instance of binary relation


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

Show without tree


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