Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
occupiesPosition
Sigma KEE - occupiesPosition
occupiesPosition
appearance as argument number 1
(
documentation
occupiesPosition
ChineseLanguage
"(
occupiesPosition
?PERSON ?POSITION ?ORG)的意思是 ?PERSON 在
Organization
?ORG 担任
Position
?POSITION。例如: (
occupiesPosition
TomSmith ResearchDirector AcmeLaboratory)的意思是 TomSmith 在 Acme 实验室担任研究总监的职位。")
chinese_format.kif 3852-3854
(
documentation
occupiesPosition
EnglishLanguage
"(
occupiesPosition
?PERSON ?POSITION ?ORG) means that ?PERSON holds the
Position
?POSITION at
Organization
?ORG. For example, (
occupiesPosition
TomSmith ResearchDirector AcmeLaboratory) means that TomSmith is a research director at Acme Labs.")
Merge.kif 17273-17276
(
domain
occupiesPosition
1
Human
)
Merge.kif 17270-17270
域
佔據位置
, 1 and
Human
(
domain
occupiesPosition
2
Position
)
Merge.kif 17271-17271
域
佔據位置
, 2 and
Position
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17272-17272
域
佔據位置
, 3 and
Organization
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17269-17269
例
佔據位置
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
occupiesPosition
"%1 %n{doesn't} 在 %3 任职 %2")
chinese_format.kif 551-551
(
format
EnglishLanguage
occupiesPosition
"%1 %n{doesn't} hold%p{s} the position of %2 in %3")
english_format.kif 556-556
(
format
FrenchLanguage
occupiesPosition
"%1 %n{n'} occupe %n{pas} la position de %2 %3")
french_format.kif 323-323
(
format
ItalianLanguage
occupiesPosition
"%1 occupa la posizione di %2 in %3")
relations-it.txt 202-202
(
format
JapaneseLanguage
occupiesPosition
"%1 は %3 の %2 の position を hold%p{s} %n{ない}")
japanese_format.kif 2091-2091
(
format
PortugueseLanguage
occupiesPosition
"%1 %n{nao} ocupa %n a posicao de %2 %3")
portuguese_format.kif 275-275
(
format
de
occupiesPosition
"%1 besetzt die position von %2 in %3")
relations-de.txt 721-721
(
format
hi
occupiesPosition
"%3 men %1 %2 kaa sthaana letaa hai")
relations-hindi.txt 240-240
(
format
ro
occupiesPosition
"%1 %n{nu} deþine position%t{poziþia} %2 în %3")
relations-ro.kif 344-344
(
format
sv
occupiesPosition
"%1 har %n{inte} positionen %2 i %3")
relations-sv.txt 357-357
(
termFormat
ChineseLanguage
occupiesPosition
"任职")
chinese_format.kif 552-552
(
termFormat
ChineseLanguage
occupiesPosition
"占据位置")
domainEnglishFormat.kif 41620-41620
(
termFormat
ChineseTraditionalLanguage
occupiesPosition
"佔據位置")
domainEnglishFormat.kif 41619-41619
(
termFormat
EnglishLanguage
occupiesPosition
"occupies position")
domainEnglishFormat.kif 41618-41618
antecedent
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
attribute
Position
and
大學新生
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
少於
RealNumber
and 1
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
attribute
Position
and
大學三年級
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
大於或等於
RealNumber
and 2
少於
RealNumber
and 3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
attribute
Position
and
大學高年級
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
大於或等於
RealNumber
and 3
少於
RealNumber
and 4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
attribute
Position
and
大學二年級學生
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
大於或等於
RealNumber
and 1
少於
RealNumber
and 2
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21024-21030
attribute
Human
and
教授
佔據位置
Human
,
教授
and
EducationalOrganization
Human
是個
teacher
在
EducationalOrganization
例
EducationalOrganization
and
中學後
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18906-18910
attribute
Human
and
老師
佔據位置
Human
,
Human
and
EducationalOrganization
Human
是個
teacher
在
EducationalOrganization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4511-4519
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
AutonomousAgent
是
agent
運作在
Organization
地區
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
例
GeopoliticalArea
and
GeopoliticalArea
佔據位置
Human
,
領導
and
政府
GeopoliticalArea
Process
例
Process
and
Guiding
患者
Process
and
GeopoliticalArea
agent
Process
and
Human
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
例
Organization
and
GeopoliticalArea
佔據位置
Human
,
領導
and
Organization
Human
是
政府
Organization
的
leader
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
例
GeopoliticalArea
and
Nation
Human
是
GeopoliticalArea
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
例
Human
and
Human
佔據位置
Human
,
Position
and
Organization
attribute
Position
and
銀行家
例
Organization
and
BankFinancialOrganization
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18944-18948
例
Position
and
政府立場
佔據位置
Human
,
Position
and
Position
RG
例
Position
RG and
政府組織
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
例
Organization
and
AutonomousAgent
Human
是
Organization
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
Organization
Position
是
Organization
的
leader
職位
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
例
Human
and
Human
例
Position
and
Position
例
GeopoliticalArea
and
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
例
Human
and
Human
例
Position
and
Position
例
Organization
and
AutonomousAgent
Position
是
Organization
的
leader
職位
佔據位置
Human
,
Position
and
Organization
Human
是
Organization
的
leader
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20879-20883
佔據位置
Human
,
Position
and
Organization
例
Position
and
宗教立場
例
Organization
and
ReligiousOrganization
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18933-18937
佔據位置
Human
,
Position
and
Organization
例
Position
and
體育位置
例
Organization
and
運動隊
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
佔據位置
Human
,
Position
and
Organization
例
Organization
and
政治黨派
會員
Human
and
Organization
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
Organization
是 對於 %3 的
subordinate
職位
佔據位置
Human
,
Position
and
Organization
Human
例
Human
and
Human
佔據位置
Human
,
Position
and
Organization
Organization
是 對於
Human
在 組織
Human
的
subordinate
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
持有期間
TimePosition
and
佔據位置
entity
,
內政部長
and
美國內政部
持有期間
TimePosition
and
entity
是
美國內政部
的
leader
(=>
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?PERSON
Deacon
?ORG)
(
instance
?ORG
ReligiousOrganization
)))
(
exists
(?C)
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?C
Cleric
?ORG)
(
subordinateInOrganization
?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20911-20920
持有期間
TimePosition
and
佔據位置
entity
,
執事
and
entity
例
entity
and
ReligiousOrganization
entity
持有期間
TimePosition
and
佔據位置
entity
,
牧師
and
entity
entity
是 對於
entity
在 組織
entity
的
subordinate
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17278-17280
佔據位置
Human
,
Position
and
Organization
attribute
Human
and
Position
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
佔據位置
Human
,
教皇
and
羅馬天主教會
Human
是
羅馬天主教會
的
leader
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21016-21018
佔據位置
Human
,
法官
and
Organization
例
Organization
and
司法組織
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21008-21014
佔據位置
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
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1850-1854
選舉
對於職位
SocialRole
的
candidate
對於
CognitiveAgent
agent
選舉
and
AutonomousAgent
慾望
CognitiveAgent
and
佔據位置
CognitiveAgent
,
SocialRole
and
AutonomousAgent
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
能力
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
可能性
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4470-4478
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
Organization
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
Organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
AutonomousAgent
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
AutonomousAgent
and
Organization
佔據位置
Human
,
Position
and
Organization
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
例
Process
and
任命
患者
Process
and
Entity
entity
entity
持有期間
開始
何時
Process
and
佔據位置
Entity
,
entity
and
entity
持有期間
眼前的未來
何時
Process
and
佔據位置
Entity
,
entity
and
entity
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
例
Human
and
Human
例
Organization
and
Organization
例
Position
and
Position
attribute
Human
and
Position
和
Organization
的
member
角色
佔據位置
Human
,
Position
and
Organization
(=>
(
and
(
instance
?T
TransferringPosition
)
(
experiencer
?T ?H))
(
exists
(?P1 ?P2 ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P1 ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P2 ?ORG))
(
not
(
equal
?P1 ?P2)))))
Mid-level-ontology.kif 16948-16961
例
Process
and
轉移位置
體驗者
Process
and
AutonomousAgent
entity
entity
and
entity
持有期間
開始
何時
Process
and
佔據位置
AutonomousAgent
,
entity
and
entity
持有期間
結束
何時
Process
and
佔據位置
AutonomousAgent
,
entity
and
entity
等於
entity
and
entity
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
Organization
是 對於 %3 的
subordinate
職位
佔據位置
Human
,
Position
and
Organization
Human
例
Human
and
Human
佔據位置
Human
,
Position
and
Organization
Organization
是 對於
Human
在 組織
Human
的
subordinate
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
能力
ValetParking
,
agent
and
Organization
Human
佔據位置
Human
,
Valet
and
Organization
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
GeopoliticalArea
州
Position
的
chief
對於
Human
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
GeopoliticalArea
州
Position
的
chief
對於
Human
佔據位置
Human
,
領導
and
政府
GeopoliticalArea
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
採用
Organization
and
Human
Position
佔據位置
Human
,
Position
and
Organization
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
GeopoliticalArea
是 對於 %3 的政府領導
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
(=>
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?PERSON
Deacon
?ORG)
(
instance
?ORG
ReligiousOrganization
)))
(
exists
(?C)
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?C
Cleric
?ORG)
(
subordinateInOrganization
?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20911-20920
持有期間
TimePosition
and
佔據位置
entity
,
執事
and
entity
例
entity
and
ReligiousOrganization
entity
持有期間
TimePosition
and
佔據位置
entity
,
牧師
and
entity
entity
是 對於
entity
在 組織
entity
的
subordinate
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7673-7677
例
Organization
and
自助餐館
Human
佔據位置
Human
,
服務職位
and
Organization
(=>
(
instance
?ORD
Ordaining
)
(
hasPurpose
?ORD
(
exists
(?X ?ORG ?POS)
(
and
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
instance
?ORG
ReligiousOrganization
)
(
member
?X ?ORG)
(
result
?ORD ?POS)
(
instance
?POS
ReligiousPosition
)
(
occupiesPosition
?X ?POS ?ORG)))))
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
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
judge
Process
and
Human
Organization
佔據位置
Human
,
法官
and
Organization
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
punishes
Human
and
AutonomousAgent
Organization
Position
佔據位置
Human
,
Position
and
Organization
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
punishes
Human
and
AutonomousAgent
Organization
Position
and
Process
佔據位置
Human
,
Position
and
Organization
agent
Process
and
Human
想要
Organization
and
Process
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
rewards
Human
and
AutonomousAgent
Organization
Position
佔據位置
Human
,
Position
and
Organization
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
rewards
Human
and
AutonomousAgent
Organization
Position
and
Process
佔據位置
Human
,
Position
and
Organization
agent
Process
and
Human
想要
Organization
and
Process
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