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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LemonFruit
LemonFruit

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2329-2330
No TPTP formula. May not be expressible in strict first order. pictureList.kif 553-553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 863-863
No TPTP formula. May not be expressible in strict first order. Food.kif 2328-2328 LemonFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2327-2327 LemonFruit e' uma sub-classe de CitrusFruit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33941-33941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33940-33940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33939-33939

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2332-2337


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