No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22930-22934 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22927-22927 |
域 責任範圍, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22929-22929 |
域 責任範圍, 3 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22928-22928 |
域子類 責任範圍, 2 and Process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22926-22926 |
例 責任範圍 and TernaryPredicate |