|
|
   Apple
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21129-21130 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 28-28 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 231-231 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21128-21128 | Apple is a subclass of food for animal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4014-4014 | Apple is a subclass of fruit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21127-21127 | Apple is a subclass of fruit or vegetable |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8007-8007 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8006-8006 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8005-8005 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4016-4019 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1094-1094 | AppleOrchard is equal to a farm of apple in |
|
|
|
