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 14547-14547 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | 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 14493-14493 | O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14592-14592 | Vertebrado de Sangue Frio e' uma sub-classe de Vertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14597-14597 | 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 10971-10977 | 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 11514-11524 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11526-11535 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11687 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11477-11482 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15240-15245 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12921-12926 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12582-12587 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11001-11007 |