possesses |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18291-18301 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6871-6875 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2138-2146 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30898-30908 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30912-30921 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30940-30954 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2777-2782 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1786-1791 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9711-9720 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3691-3711 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 469-471 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7432-7434 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4280-4283 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3735-3755 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25142-25148 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 176-183 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7453-7458 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 642-647 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 494-499 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 676-685 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3323-3330 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2471-2480 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |