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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fodder

Sigma KEE - Fodder
Fodder(饲料)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20065-20066
No TPTP formula. May not be expressible in strict first order. pictureList.kif 897-897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20062-20062 饲料关联属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20063-20063 饲料DeadFn 是 内部相关
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20064-20064 饲料FoodForFn 是 内部相关

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20428-20428 饲料干草attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 4805-4805 饲料作物饲料 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24464-24464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24463-24463
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24462-24462

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20079-20087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20068-20077


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