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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OfferingForSale
OfferingForSale
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7855-7855
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10160-10160
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11541-11541
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11545-11545
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11543-11543
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11544-11544
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11547-11547
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11546-11546
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11540-11540
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11542-11542
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7854-7854 OfferingForSale est une sous-classe de Offering

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41670-41670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41669-41669
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41668-41668

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


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


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