No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21242-21242 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6696-6696 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7301-7301 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7302-7302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7303-7303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7304-7304 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7305-7305 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21240-21240 |
subField MedicalScience and Biology |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21241-21241 |
MedicalScience e' uma sub-classe de Science |