No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13536-13545 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13486-13497 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13566-13575 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13577-13586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13505-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13516-13527 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13467-13477 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 818-828 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6394-6398 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6370-6374 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6388-6392 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6400-6404 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6846-6850 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6406-6410 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6358-6362 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6364-6368 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6382-6386 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6376-6380 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 823-840 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 862-866 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2884-2902 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23889-23903 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |