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. |
Hotel.kif 1347-1358 |
|
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. |
UXExperimentalTerms.kif 3534-3543 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3545-3555 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3582-3591 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3593-3603 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6447-6459 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29620-29632 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30242-30253 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6338-6346 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1700-1704 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3001-3009 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 516-522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 524-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21757-21769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 753-763 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 782-790 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |