No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11966-11976 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13535-13544 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13485-13496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13565-13574 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13576-13585 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13504-13513 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13515-13526 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13466-13476 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 295-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4648-4657 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4658-4667 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4582-4590 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4470-4478 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2806-2819 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 807-816 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2112-2121 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2156-2165 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2202-2211 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |