No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7658-7664 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7216-7224 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7308-7318 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 209-218 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6984-6989 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 62-71 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8199-8204 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1771-1776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8467-8474 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 532-537 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 266-286 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8499-8506 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1113-1119 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 603-608 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 619-624 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 628-633 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 556-561 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 197-202 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 369-377 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8128-8133 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7297-7302 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2148-2153 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2262-2273 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2035-2053 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |