occupiesPosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1814-1816 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17287-17289 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20891-20895 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2301-2307 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1342-1344 |
|