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 17309-17311 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20890-20894 | |
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 |