Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Position

Sigma KEE - Position
Position(position)Agriculture_Secretary, Andre_Eglevsky, Arabist, Attorney_General, Barbary_pirate, Bertram_Brockhouse, Brahe, Brockhouse, CEO, CFO, CPA, Chancellor, Chancellor_of_the_Exchequer, Cheops, Chief_Secretary, Commerce_Secretary, Comptroller_General, Comptroller_of_the_Currency, Congreve, Counsel_to_the_Crown, Cronyn, DA, DCI, DJ, Director_of_Central_Intelligence, ENT_man, Education_Secretary, Eglevsky, Ellsworth, Energy_Secretary, English_professor, English_teacher, FBI_agent, Father, Federico_Fellini, Fellini, First_Lord_of_the_Treasury, Frank_Whittle, Frederic_Goudy, Frederic_William_Goudy, French_teacher, G-man, GP, Gerard_Kuiper, Gerard_Peter_Kuiper, Gongorist, Goudy, Hebraist, Henri_Pitot, Holy_Roman_Emperor...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3850-3851
No TPTP formula. May not be expressible in strict first order. Merge.kif 17018-17020
No TPTP formula. May not be expressible in strict first order. Merge.kif 17017-17017 Position is a subclass of social role

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2063-2063 Broker is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1353-1353 Chairman is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 912-912 ChairmanJC s is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 332-332 Combatant commander is an instance of position
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2979-2979 Database administrator is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 893-893 DirectorJS is an instance of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18091-18091 Full time position is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1352-1352 Government deputy is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1616-1616 Governor is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 356-356 Joint forces air commander is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 344-344 Joint forces commander is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 378-378 Joint forces land commander is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 400-400 Joint forces maritime commander is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 432-432 Joint forces special operations commander is an instance of position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 336-336 Joint task force commander is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1389-1389 King is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2253-2253 Leader is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1630-1630 Lieutenant governor is an instance of position
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3648-3648 Manager is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1634-1634 Mayor is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1355-1355 Military commander is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1357-1357 Monarch is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2255-2255 National committee chairman is an instance of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18095-18095 Part time position is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2254-2254 Permanent representative is an instance of position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1780-1780 The number 2 argument of member role is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 4438-4438 The number 3 argument of chief of diplomatic mission is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1550-1550 The number 2 argument of chief of state is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1575-1575 The number 2 argument of chief of state type is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 4515-4515 The number 2 argument of diplomatic representation type is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 4450-4450 The number 3 argument of diplomatic representative in role is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1596-1596 The number 2 argument of head of government is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1433-1433 The number 2 argument of leader position is an instance of position
No TPTP formula. May not be expressible in strict first order. Merge.kif 17024-17024 The number 2 argument of occupies position is an instance of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22191-22191 The number 2 argument of subordinate position is an instance of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22192-22192 The number 3 argument of subordinate position is an instance of position

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1786-1792
No TPTP formula. May not be expressible in strict first order. Government.kif 1794-1800
No TPTP formula. May not be expressible in strict first order. Government.kif 1453-1459
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1450
No TPTP formula. May not be expressible in strict first order. Government.kif 1803-1809
No TPTP formula. May not be expressible in strict first order. Government.kif 1484-1491
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1482

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4565-4572


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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