| Vertebrate(Vertebrado) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3399-3399 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14523-14523 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14522-14522 | Vertebrado e' uma sub-classe de Animal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14469-14469 | O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14568-14568 | Vertebrado de Sangue Frio e' uma sub-classe de Vertebrado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14573 | Vertebrado de Sangue Quente e' uma sub-classe de Vertebrado |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 976-976 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1159-1159 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 653-653 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2337-2337 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 605-605 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 221-221 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 674-674 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 188-188 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10943-10949 | Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de SpinalColumn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11486-11496 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11498-11507 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11654-11659 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11449-11454 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15216-15221 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12893-12898 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12554-12559 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10973-10979 |
|
|
|