No TPTP formula. May not be expressible in strict first order. | Merge.kif 16401-16406 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23987-23989 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6425-6434 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14376-14376 | Organismo e' uma sub-classe de Objeto Organico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14377-14377 | Organismo e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 187-187 | ToxicOrganism e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 234-234 | GeneticallyEngineeredOrganism e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5887-5887 | Parasite e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14421-14421 | Planta e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14447-14447 | Cogumelo e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14468-14468 | Animal e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14473-14473 | Microorganismo e' uma sub-classe de Organismo |
![]() |