occupiesPosition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3852-3854
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17369-17372
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17366-17366	域佔據位置, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17367-17367	域佔據位置, 2 and Position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17368-17368	域佔據位置, 3 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17365-17365	例佔據位置 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 551-551
No TPTP formula. May not be expressible in strict first order.	english_format.kif 556-556
No TPTP formula. May not be expressible in strict first order.	french_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 202-202
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2091-2091
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 275-275
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 721-721
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 240-240
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 344-344
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 357-357
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41651-41651
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41650-41650
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41649-41649
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 220-220

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19817-19826	attribute Position and 大學新生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 少於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19832-19842	attribute Position and 大學三年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 2 少於 RealNumber and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19848-19858	attribute Position and 大學高年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 3 少於 RealNumber and 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19864-19874	attribute Position and 大學二年級學生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 1 少於 RealNumber and 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22113-22119	attribute Human and 教授佔據位置 Human, 教授 and EducationalOrganization Human 是個 teacher 在 EducationalOrganization 例 EducationalOrganization and 中學後
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19995-19999	attribute Human and 老師佔據位置 Human, Human and EducationalOrganization Human 是個 teacher 在 EducationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4473-4481	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and Nation 例 Organization and 外交組織子組織 Organization and 政府 GeopoliticalArea 佔據位置 Human, Position and Organization 例 AutonomousAgent and GeopoliticalArea AutonomousAgent 是 agent 運作在 Organization 地區
No TPTP formula. May not be expressible in strict first order.	Government.kif 2271-2279	例 GeopoliticalArea and GeopoliticalArea 佔據位置 Human, 領導 and 政府 GeopoliticalArea Process 例 Process and Guiding 患者 Process and GeopoliticalArea agent Process and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1308-1312	例 Organization and GeopoliticalArea 佔據位置 Human, 領導 and Organization Human 是政府 Organization 的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 1418-1424	例 GeopoliticalArea and Nation Human 是 GeopoliticalArea 的 leader 例 Position and Position 佔據位置 Human, Position and 政府 GeopoliticalArea Position 是 GeopoliticalArea 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3666-3671	例 Human and Human 佔據位置 Human, Position and Organization attribute Position and 銀行家例 Organization and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20033-20037	例 Position and 政府立場佔據位置 Human, Position and PositionRG 例 PositionRG and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1409-1415	例 Organization and AutonomousAgent Human 是 Organization 的 leader 例 Position and Position 佔據位置 Human, Position and Organization Position 是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1449-1456	例 Human and Human 例 Position and Position 例 GeopoliticalArea and GeopoliticalArea Position 是 GeopoliticalArea 的 leader 職位佔據位置 Human, Position and 政府 GeopoliticalArea Human 是 GeopoliticalArea 的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 1440-1447	例 Human and Human 例 Position and Position 例 Organization and AutonomousAgent Position 是 Organization 的 leader 職位佔據位置 Human, Position and Organization Human 是 Organization 的 leader
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21968-21972	佔據位置 Human, Position and Organization 例 Position and 宗教立場例 Organization and ReligiousOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20022-20026	佔據位置 Human, Position and Organization 例 Position and 體育位置例 Organization and 運動隊
No TPTP formula. May not be expressible in strict first order.	Government.kif 2257-2261	佔據位置 Human, Position and Organization 例 Organization and 政治黨派會員 Human and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23867-23875	Organization 是對於 %3 的 subordinate 職位佔據位置 Human, Position and Organization Human 例 Human and Human 佔據位置 Human, Position and Organization Organization 是對於 Human 在組織 Human 的 subordinate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4821-4825	持有期間 TimePosition and 佔據位置 entity, 內政部長 and 美國內政部持有期間 TimePosition and entity 是美國內政部的 leader
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22000-22009	持有期間 TimePosition and 佔據位置 entity, 執事 and entity 例 entity and ReligiousOrganization entity 持有期間 TimePosition and 佔據位置 entity, 牧師 and entity entity 是對於 entity 在組織 entity 的 subordinate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17374-17376	佔據位置 Human, Position and Organization attribute Human and Position
No TPTP formula. May not be expressible in strict first order.	People.kif 1290-1292	佔據位置 Human, 教皇 and 羅馬天主教會 Human 是羅馬天主教會的 leader
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22105-22107	佔據位置 Human, 法官 and Organization 例 Organization and 司法組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22097-22103	佔據位置 Human, 法官 and Organization 模態屬性 entity 例 entity and 法律決定 agent entity and Human and 允許

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1812-1816	選舉對於職位 SocialRole 的 candidate 對於 CognitiveAgent agent 選舉 and AutonomousAgent 慾望 CognitiveAgent and 佔據位置 CognitiveAgent, SocialRole and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	能力 ValetParking, agent and Organization Organization 是 CognitiveAgent 的 customer 位於 Organization and Object 例 Process and 到達 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Object Human 佔據位置 Human, Valet and Organization 模態屬性 entity entity 例 entity and ValetParking agent entity and Human 患者 entity and Entity 目的地 entity and entity 例 entity and ParkingRegion and 可能性
No TPTP formula. May not be expressible in strict first order.	Government.kif 4432-4440	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and Nation Organization 例 Organization and 外交組織子組織 Organization and 政府 GeopoliticalArea 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4442-4446	AutonomousAgent 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 AutonomousAgent and Organization 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1035-1048	例 Process and 任命患者 Process and Entity entity entity 持有期間開始何時 Process and 佔據位置 Entity, entity and entity 持有期間眼前的未來何時 Process and 佔據位置 Entity, entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 339-343	例 Human and 軍事組織 Human 是 Human 的 leader 佔據位置 Human, 軍事指揮官 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1768-1774	例 Human and Human 例 Organization and Organization 例 Position and Position attribute Human and Position 和 Organization 的 member 角色佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17876-17889	例 Process and 轉移位置體驗者 Process and AutonomousAgent entity entity and entity 持有期間開始何時 Process and 佔據位置 AutonomousAgent, entity and entity 持有期間結束何時 Process and 佔據位置 AutonomousAgent, entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23867-23875	Organization 是對於 %3 的 subordinate 職位佔據位置 Human, Position and Organization Human 例 Human and Human 佔據位置 Human, Position and Organization Organization 是對於 Human 在組織 Human 的 subordinate
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 152-155	能力 ValetParking, agent and Organization Human 佔據位置 Human, Valet and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1524-1526	GeopoliticalArea 州 Position 的 chief 對於 Human 佔據位置 Human, Position and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1530	GeopoliticalArea 州 Position 的 chief 對於 Human 佔據位置 Human, 領導 and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17378-17381	採用 Organization and Human Position 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1577-1579	GeopoliticalArea 是對於 %3 的政府領導佔據位置 Human, Position and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22000-22009	持有期間 TimePosition and 佔據位置 entity, 執事 and entity 例 entity and ReligiousOrganization entity 持有期間 TimePosition and 佔據位置 entity, 牧師 and entity entity 是對於 entity 在組織 entity 的 subordinate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8446-8450	例 Organization and 自助餐館 Human 佔據位置 Human, 服務職位 and Organization
No TPTP formula. May not be expressible in strict first order.	Biography.kif 132-143	例 Physical and Ordaining 有目的 Physical and entity entity and entity 患者 Physical and entity 例 entity and Human 例 entity and ReligiousOrganization 會員 entity and entity 結果 Physical and entity 例 entity and 宗教立場佔據位置 entity, entity and entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 202-205	judge Process and Human Organization 佔據位置 Human, 法官 and Organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 155-158	punishes Human and AutonomousAgent Organization Position 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 160-166	punishes Human and AutonomousAgent Organization Position and Process 佔據位置 Human, Position and Organization agent Process and Human 想要 Organization and Process
No TPTP formula. May not be expressible in strict first order.	Law.kif 111-114	rewards Human and AutonomousAgent Organization Position 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 116-122	rewards Human and AutonomousAgent Organization Position and Process 佔據位置 Human, Position and Organization agent Process and Human 想要 Organization and Process

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

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

KB Term:			Term intersection

English Word: