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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FoodForFn
FoodForFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3482-3484
No TPTP formula. May not be expressible in strict first order. Merge.kif 13813-13816
No TPTP formula. May not be expressible in strict first order. Merge.kif 13811-13811 The number 1 argument of FoodForFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. pictureList.kif 440-440
No TPTP formula. May not be expressible in strict first order. Merge.kif 13810-13810 FoodForFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 13812-13812 The values returned by FoodForFn are subclasses of self connected object

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3471-3471
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3470-3470
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3469-3469

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 853-862
No TPTP formula. May not be expressible in strict first order. Merge.kif 13818-13823
No TPTP formula. May not be expressible in strict first order. Merge.kif 16407-16412

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18286-18307
No TPTP formula. May not be expressible in strict first order. Merge.kif 9664-9668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9772-9776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9793-9797
No TPTP formula. May not be expressible in strict first order. Dining.kif 178-182
No TPTP formula. May not be expressible in strict first order. naics.kif 7326-7340
No TPTP formula. May not be expressible in strict first order. Dining.kif 564-581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2447-2456
No TPTP formula. May not be expressible in strict first order. Food.kif 34-36
No TPTP formula. May not be expressible in strict first order. naics.kif 11591-11599
No TPTP formula. May not be expressible in strict first order. Dining.kif 70-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6926-6936
No TPTP formula. May not be expressible in strict first order. Merge.kif 11921-11926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4907-4916
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19347-19360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7504-7511
No TPTP formula. May not be expressible in strict first order. Military.kif 210-218
No TPTP formula. May not be expressible in strict first order. Dining.kif 256-261
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1671-1673
No TPTP formula. May not be expressible in strict first order. Food.kif 92-97
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19221-19223

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13826-13826 Food is equal to food for human
No TPTP formula. May not be expressible in strict first order. Economy.kif 1748-1748 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19477-19477 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19492-19492 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19442-19442 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19482-19482 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17814-17814 Fodder is a subclass of food for domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19428-19428 Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3947-3947 Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3954-3954 Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19406-19406 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19487-19487 Pear fruit is a subclass of food for animal


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