No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21164-21164 |
ActuaryScience e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21221-21221 |
Astronomy e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21291-21291 |
Biochemistry e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21259-21259 |
Biology e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21279-21279 |
Botany e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21238-21238 |
Cartography e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21292-21292 |
Chemistry e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21226-21226 |
ComputerScience e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21302-21302 |
Engineering e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21233-21233 |
Geography e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21241-21241 |
Geology e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21245-21245 |
LibraryScience e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21269-21269 |
MedicalScience e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21289-21289 |
NaturalSciences e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21296-21296 |
Paleontology e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21299-21299 |
Physics e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21264-21264 |
Physiology e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21153-21153 |
SocialScience e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21273-21273 |
VeterinaryScience e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21284-21284 |
Zoology e' uma sub-classe de Science |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51563-51563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51562-51562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51561-51561 |
|