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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodForFn

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 14589-14592
No TPTP formula. May not be expressible in strict first order. Merge.kif 14587-14587 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 14586-14586 FoodForFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 14588-14588 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 14594-14599
No TPTP formula. May not be expressible in strict first order. Merge.kif 17362-17367

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19919-19940
No TPTP formula. May not be expressible in strict first order. Merge.kif 10159-10165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11035-11039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11057-11061
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 7319-7333
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 1941-1950
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 11668-11676
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 6941-6951
No TPTP formula. May not be expressible in strict first order. Merge.kif 12625-12630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4323-4332
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 20956-20969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7487-7494
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 1698-1700
No TPTP formula. May not be expressible in strict first order. Food.kif 74-79
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20841-20843

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12098-12098 Blood is equal to food for mosquito
No TPTP formula. May not be expressible in strict first order. Merge.kif 14602-14602 Food is equal to food for human
No TPTP formula. May not be expressible in strict first order. Economy.kif 1755-1755 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 21108-21108 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21123-21123 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21045-21045 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21113-21113 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19354-19354 Fodder is a subclass of food for domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21031-21031 Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4036-4036 Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4043-4043 Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21012-21012 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21118-21118 Pear fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 1102-1102 Wine grape is a subclass of food for animal


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