No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6779-6781 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6783-6783 |
O argumento numero 1 de detainee e' uma instancia de Confinar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6784-6784 |
O argumento numero 2 de detainee e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6782-6782 |
detainee e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6785-6785 |
detainee e' uma sub-relacao de patient |