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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartPalpitation

 Sigma KEE - OliveOil
OliveOil

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6743-6743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7465-7465
No TPTP formula. May not be expressible in strict first order. Food.kif 2083-2083 ingredient OliveOil and Aioli
No TPTP formula. May not be expressible in strict first order. Economy.kif 4563-4563 initialPart OliveOil and Olive
No TPTP formula. May not be expressible in strict first order. Economy.kif 4562-4562 OliveOil est une sous-classe de VegetableOil

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42066-42066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42065-42065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42064-42064


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