No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8289-8289 |
Profession e' disjunto de OccupationalTrade |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20780-20780 |
Carpenter e' uma instancia de OccupationalTrade |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20850-20850 |
FarmHand e' uma instancia de OccupationalTrade |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20860-20860 |
Plumber e' uma instancia de OccupationalTrade |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20864-20864 |
Potter e' uma instancia de OccupationalTrade |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41608-41608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41607-41607 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41606-41606 |
|