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 13848-13851
No TPTP formula. May not be expressible in strict first order. Merge.kif 13846-13846 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 13845-13845 FoodForFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 13847-13847 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 3475-3475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3474-3474
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3473-3473

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 13853-13858
No TPTP formula. May not be expressible in strict first order. Merge.kif 16459-16464

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17007-17028
No TPTP formula. May not be expressible in strict first order. Merge.kif 9699-9703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8919-8923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8941-8945
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 1923-1932
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 11675-11683
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 6290-6300
No TPTP formula. May not be expressible in strict first order. Merge.kif 11956-11961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4303-4312
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 18015-18028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6827-6834
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 1685-1687
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 17900-17902

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13861-13861 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 18123-18123 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18138-18138 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18104-18104 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18128-18128 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16542-16542 Fodder is a subclass of food for domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18090-18090 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 18071-18071 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 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