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 |