No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2365-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 820-841 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 526-541 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4390-4407 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4167-4173 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3195-3205 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6929-6934 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11480-11487 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 218-226 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 203-211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15934-15942 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24490-24497 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24356-24363 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3480-3485 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1176-1180 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 472-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16301-16312 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1126-1130 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1192-1196 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16002-16009 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15981-15995 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1097-1104 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1180-1199 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4175-4180 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |