No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13542-13547 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1026-1035 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 954-963 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16573-16582 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29051-29065 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12483-12496 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10732-10740 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6102-6112 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10755-10762 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2186-2196 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2508-2526 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2485-2501 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2462-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2940-2945 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15672-15684 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17609-17629 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4499-4503 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3983-3988 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2912-2917 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13332-13339 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 874-881 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1862-1883 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2806-2815 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |