No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6780-6782 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6784-6784 |
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 6785-6785 |
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 6783-6783 |
detainee e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6786-6786 |
detainee e' uma sub-relacao de patient |