No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22111-22119 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2331-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26953-26957 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 742-746 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1939-1945 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 422-430 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7416-7418 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2463-2469 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1025-1036 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3821-3829 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16411-16427 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10595-10603 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16596-16602 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13027-13032 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2834-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9652-9665 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 710-715 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3061-3068 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1954-1962 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 400-415 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 390-398 |
|