possesses |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16561-16575 | |
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 1227-1246 |
|
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 4265-4270 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6921-6927 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 51-55 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16542-16554 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 569-589 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2229-2239 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 102-121 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3490-3495 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4285-4288 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4253-4255 |