No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18979-18979 |
ShipCaptain e' um sub-atributo de Sailor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18987-18987 |
ShipMate e' um sub-atributo de Sailor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18983-18983 |
ShipOfficer e' um sub-atributo de Sailor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50805-50805 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50804-50804 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50803-50803 |
|