No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14231-14231 |
Frase e' disjuntamente decomponivel em Statement, Supposition, Question, Request, + Order |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14243-14243 |
Fact e' uma sub-classe de Statement |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55122-55122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55121-55121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55120-55120 |
|