memberType |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25919-25927 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1723-1725 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26098-26102 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 143-145 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26967-26971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22671-22677 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 187-192 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 248-253 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 203-208 |
|