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 15013-15016
No TPTP formula. May not be expressible in strict first order. Merge.kif 15011-15011 The number 1 argument of food for fn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. pictureList.kif 440-440 The number 1 argument of food for fn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15010-15010 Food for fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 15012-15012 The values returned by food for fn are subclasses of self connected object

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3468-3468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3467-3467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3466-3466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21624-21624 Fodder is internally related to food for fn
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64872-64872 Fodder is internally related to food for fn

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 900-909
No TPTP formula. May not be expressible in strict first order. Merge.kif 15018-15023
No TPTP formula. May not be expressible in strict first order. Merge.kif 17814-17819

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22218-22240
No TPTP formula. May not be expressible in strict first order. Merge.kif 10392-10398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12885-12889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12907-12911
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 610-627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2449-2458
No TPTP formula. May not be expressible in strict first order. Food.kif 51-53
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21628-21637
No TPTP formula. May not be expressible in strict first order. Economy.kif 5149-5158
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 8442-8452
No TPTP formula. May not be expressible in strict first order. Merge.kif 13021-13026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4878-4887
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. Food.kif 1590-1603
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8985-8992
No TPTP formula. May not be expressible in strict first order. Military.kif 287-295
No TPTP formula. May not be expressible in strict first order. Food.kif 285-289
No TPTP formula. May not be expressible in strict first order. Economy.kif 4372-4377
No TPTP formula. May not be expressible in strict first order. Dining.kif 260-265
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1734-1736

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13968-13968 equal blood and food for mosquito
No TPTP formula. May not be expressible in strict first order. Merge.kif 15026-15026 equal food and food for human
No TPTP formula. May not be expressible in strict first order. Economy.kif 1869-1869 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. Food.kif 2187-2187 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2289-2289 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2378-2378 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2196-2196 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23250-23250 Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2335-2335 Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2349-2349 Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4450-4450 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 2201-2201 Pear fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 3696-3696 Wine grape 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