Position(position)

-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1352-1352 President is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1498-1498 President of the united states is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1353-1353 Prime minister is an instance of position
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4476-4476 Pulmonologist is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1406-1406 Queen regnant is an instance of position
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3282-3282 Radio operator is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 454-454 Secretary of defense is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 338-338 Service chief is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2255-2255 Spokesperson is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 334-334 Subunified commander is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2209-2209 Supreme court judge is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1357-1357 Vice chairman is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1354-1354 Vice president is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1762-1762 The range of member is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1784-1784 The range of member role is an instance of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18787-18787 College student position is a subclass of position
No TPTP formula. May not be expressible in strict first order. Government.kif 4394-4394 Foreign service position is a subclass of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8273-8273 Manual labor is a subclass of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18961-18961 Modelling position is a subclass of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20876-20876 Religious position is a subclass of position
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1240-1240
No TPTP formula. May not be expressible in strict first order. english_format.kif 1701-1701
No TPTP formula. May not be expressible in strict first order. french_format.kif 918-918
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 452-452

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners