| Plant(Planta)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3379-3380 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14422-14424 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 875-875 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 151-151 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14421-14421 | Planta e' uma sub-classe de Organismo |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3353-3353 | Os valores retornados por PlantFn sao as sub-classes de Planta |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14426-14426 | Planta Florindo e' uma sub-classe de Planta |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14430-14430 | Planta sem flores e' uma sub-classe de Planta |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 965-965 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1137-1137 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 642-642 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 173-173 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 176-176 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2326-2326 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 594-594 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 178-178 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 663-663 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 177-177 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6437-6437 | O argumento numero 1 de sheddingLeaves e' uma instancia de Planta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8165-8165 | O argumento numero 1 de plantInArea e' uma sub-classe de Planta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6189-6189 | O argumento numero 2 de vegetationType e' uma sub-classe de Planta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6218-6218 | O argumento numero 2 de vegetationTypePattern e' uma sub-classe de Planta |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14379-14379 | O conceito Organismo e' completamente decomposto em Animal, Planta, Cogumelo, + Microorganismo |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8153-8161 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9560-9573 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20515-20517 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20065-20071 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 50-72 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15033-15038 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14849-14854 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4214-4218 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4809-4818 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6603-6605 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5191-5202 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
|
|
|