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 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22817-22817 |
typicalAction 的 2 数量 是 施事体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22818-22818 |
typicalAction 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22819-22819 |
typicalAction 和 主事 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22820-22820 |
typicalAction 和 typicallyContainsTemporalPart 是 内部相关 |