Vertebrate
|
|
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 14501-14501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | 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 14447-14447 | O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Vertebrado de Sangue Frio e' uma sub-classe de Vertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14551-14551 | 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 10944-10950 | 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 11487-11497 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11499-11508 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11655-11660 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11450-11455 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15194-15199 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12894-12899 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12555-12560 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10974-10980 |