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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FruitFarming

 Sigma KEE - FruitFarming
FruitFarming(fruit farming)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9243-9243
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8495-8495
No TPTP formula. May not be expressible in strict first order. Economy.kif 6193-6193 Fruit is an industry product type of fruit farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6191-6191 Fruit farming is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6192-6192 Fruit farming is a subattribute of fruit and tree nut farming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25154-25154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25153-25153
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25152-25152


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