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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TrapOrCage
TrapOrCage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4643-4644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1011-1011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4642-4642 TrapOrCage est une sous-classe de Holder

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25347-25347 Kennel est une sous-classe de TrapOrCage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4654-4654 LivestockPen est une sous-classe de TrapOrCage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59042-59042
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59041-59041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59040-59040

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4646-4652


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