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 |
![]() |
![]() |