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 |
域子類 typicalAction, 1 and Process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22817-22817 |
域子類 typicalAction, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22818-22818 |
例 typicalAction and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22819-22819 |
相關的內部概念 typicalAction and agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22820-22820 |
相關的內部概念 typicalAction and typicallyContainsTemporalPart |