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 17265-17267
No TPTP formula. May not be expressible in strict first order. Merge.kif 17264-17264 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 2054-2054 Broker is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1356-1356 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 2769-2769 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 18716-18716 Full time position is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1355-1355 Government deputy is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1619-1619 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 1392-1392 King is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2256-2256 Leader is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1633-1633 Lieutenant governor is an instance of position
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3644-3644 Manager is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1637-1637 Mayor is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1358-1358 Military commander is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1360-1360 Monarch is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2258-2258 National committee chairman is an instance of position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18720-18720 Part time position is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2257-2257 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 1783-1783 The number 2 argument of member role is an instance of position
No TPTP formula. May not be expressible in strict first order. Biography.kif 151-151 The number 3 argument of appointedPosition is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 4446-4446 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 1553-1553 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 1578-1578 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 4523-4523 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 4458-4458 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 1599-1599 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 1436-1436 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 17271-17271 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 22745-22745 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 22746-22746 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 1789-1795
No TPTP formula. May not be expressible in strict first order. Government.kif 1797-1803
No TPTP formula. May not be expressible in strict first order. Government.kif 1456-1462
No TPTP formula. May not be expressible in strict first order. Government.kif 1447-1453
No TPTP formula. May not be expressible in strict first order. Government.kif 1806-1812
No TPTP formula. May not be expressible in strict first order. Government.kif 1487-1494
No TPTP formula. May not be expressible in strict first order. Government.kif 1478-1485

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4573-4580


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