No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22821-22822 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22816-22816 |
O argumento numero 1 de typicalAction e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22817-22817 |
O argumento numero 2 de typicalAction e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22818-22818 |
typicalAction e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22819-22819 |
typicalAction e' relacionado internamente por SUMO a agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22820-22820 |
typicalAction e' relacionado internamente por SUMO a typicallyContainsTemporalPart |