agent |
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 |