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 17295-17298
(
domain
occupiesPosition
1
Human
)
Merge.kif 17292-17292
任职
的 1 数量 是
人类
的
instance
(
domain
occupiesPosition
2
Position
)
Merge.kif 17293-17293
任职
的 2 数量 是
地位
的
instance
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17294-17294
任职
的 3 数量 是
机构
的
instance
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17291-17291
任职
是
三元谓语
的
instance
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 18727-18736
如果
大学新生
是
地位
的
attribute
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
lessThan
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 18742-18752
如果
大学三年级
是
地位
的
attribute
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
greaterThanOrEqualTo
2 和
那个 实数
是
lessThan
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 18758-18768
如果
大学高年级
是
地位
的
attribute
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
greaterThanOrEqualTo
3 和
那个 实数
是
lessThan
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 18774-18784
如果
大学二年级学生
是
地位
的
attribute
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
greaterThanOrEqualTo
1 和
那个 实数
是
lessThan
2
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21023-21029
如果
教授
是
人类
的
attribute
和
那个 人类
在
教育机构
任职
教授
,
然后
那个 人类
是个
teacher
在
那个 教育机构
和
那个 教育机构
是
中学后
的
instance
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18905-18909
如果
老师
是
人类
的
attribute
和
另一个 人类
在
教育机构
任职
那个 人类
,
然后
那个 人类
是个
teacher
在
那个 教育机构
(=>
(
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
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
和
机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 施事体
是
agent
运作在
那个 机构
地区
(=>
(
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
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
在
那个 地缘政治区域
的
Government
任职
领导
,
然后 有存在
过程
这样
那个 过程
是
引导
的
instance
和
那个 地缘政治区域
是
那个 过程
的
patient
和
那个 人类
是
那个 过程
的
agent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
如果
机构
是
地缘政治区域
的
instance
和
人类
在
那个 机构
任职
领导
,
然后
那个 人类
是
那个 机构
的
Government
的
leader
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
如果
地缘政治区域
是
国家
的
instance
和
人类
是
那个 地缘政治区域
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
如果
人类
是
人类
的
instance
和
那个 人类
在
机构
任职
地位
和
银行家
是
那个 地位
的
attribute
,
然后
那个 机构
是
BankFinancialOrganization
的
instance
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18943-18947
如果
地位
是
政府立场
的
instance
和
人类
在
那个 地位
RG 任职
那个 地位
,
然后
那个 地位
RG 是
政府组织
的
instance
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
如果
机构
是
施事体
的
instance
和
人类
是
那个 机构
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 地位
是
那个 机构
的
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
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地位
是
那个 地缘政治区域
的
leader
职位 和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 人类
是
那个 地缘政治区域
的
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
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
机构
是
施事体
的
instance
和
那个 地位
是
那个 机构
的
leader
职位 和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 人类
是
那个 机构
的
leader
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20878-20882
如果
人类
在
机构
任职
地位
和
那个 地位
是
宗教立场
的
instance
,
然后
那个 机构
是
宗教机构
的
instance
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18932-18936
如果
人类
在
机构
任职
地位
和
那个 地位
是
体育位置
的
instance
,
然后
那个 机构
是
运动队
的
instance
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
如果
人类
在
机构
任职
地位
和
那个 机构
是
政治党派
的
instance
,
然后
那个 人类
是
那个 机构
的
member
(=>
(
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 22752-22760
如果
机构
是 对于 %3 的
subordinate
职位 和
人类
在
那个 机构
任职
地位
,
然后 有存在
另一个 人类
这样
那个 另外 人类
是
人类
的
instance
和
那个 另外 人类
在
那个 机构
任职
另一个 地位
和
那个 机构
是 对于
那个 另外 人类
在 组织
那个 人类
的
subordinate
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
如果
实体
在
美国内政部
任职
内政部长
在
时间位置
holdsDuring
,
然后
那个 实体
是
美国内政部
的
leader
在
那个 时间位置
holdsDuring
(=>
(
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 20910-20919
如果
实体
在
另一个 实体
任职
执事
和
那个 另外 实体
是
宗教机构
的
instance
在
时间位置
holdsDuring
,
然后 有存在
第三 实体
这样
那个 第三 实体
在
那个 另外 实体
任职
牧师
和
那个 另外 实体
是 对于
那个 第三 实体
在 组织
那个 实体
的
subordinate
在
那个 时间位置
holdsDuring
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17300-17302
如果
人类
在
机构
任职
地位
,
然后
那个 地位
是
那个 人类
的
attribute
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
如果
人类
在
罗马天主教会
任职
教皇
,
然后
那个 人类
是
罗马天主教会
的
leader
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21015-21017
如果
人类
在
机构
任职
法官
,
然后
那个 机构
是
司法组织
的
instance
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21007-21013
如果
人类
在
机构
任职
法官
,
然后 有存在
实体
这样
那个 实体
是
法律决定
的
instance
和
那个 人类
是
那个 实体
的
agent
的声明 has
允许
的语气
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
如果
选举
对于职位
身分
的
candidate
对于
有认知的主事
和
施事体
是
那个 选举
的
agent
,
然后
那个 有认知的主事
desires
那个 有认知的主事
在
那个 施事体
任职
那个 身分
(=>
(
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
和
那个 机构
是
有认知的主事
的
customer
和
那个 机构
是
located
在
客体
和
过程
是
到达
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
那个 客体
结束,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
ValetParking
的
instance
和
那个 人类
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
在
那个 第三 实体
结束 和
那个 第三 实体
是
ParkingRegion
的
instance
的声明 has
可能性
的语气
(=>
(
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
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
,
然后 有存在
机构
这样
那个 机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 施事体
是
机构
的
instance
,
然后
那个 人类
在
机构
任职
那个 地位
(=>
(
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
如果
过程
是
任命
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 实体
doesn't 在
那个 第三 实体
任职
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
在
那个 第三 实体
任职
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
如果
人类
是
人类
的
instance
和
机构
是
机构
的
instance
和
地位
是
地位
的
instance
和
那个 地位
和
那个 机构
的
member
角色 是
那个 人类
的
attribute
,
然后
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
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 16947-16960
如果
过程
是
转移位置
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 施事体
在
那个 第三 实体
任职
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
在
那个 第三 实体
任职
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 实体
不
equal
那个 另外 实体
(=>
(
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 22752-22760
如果
机构
是 对于 %3 的
subordinate
职位 和
人类
在
那个 机构
任职
地位
,
然后 有存在
另一个 人类
这样
那个 另外 人类
是
人类
的
instance
和
那个 另外 人类
在
那个 机构
任职
另一个 地位
和
那个 机构
是 对于
那个 另外 人类
在 组织
那个 人类
的
subordinate
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
如果
机构
能够担当
主事
的角色做
ValetParking
,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
如果
地缘政治区域
州
地位
的
chief
对于
人类
,
然后
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
如果
地缘政治区域
州
地位
的
chief
对于
人类
,
然后
那个 人类
在
那个 地缘政治区域
的
Government
任职
领导
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17304-17307
如果
机构
employs
人类
,
然后 有存在
地位
这样
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
如果
地缘政治区域
是 对于 %3 的政府领导,
然后
人类
在
那个 地缘政治区域
的
Government
任职
地位
(=>
(
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 20910-20919
如果
实体
在
另一个 实体
任职
执事
和
那个 另外 实体
是
宗教机构
的
instance
在
时间位置
holdsDuring
,
然后 有存在
第三 实体
这样
那个 第三 实体
在
那个 另外 实体
任职
牧师
和
那个 另外 实体
是 对于
那个 第三 实体
在 组织
那个 实体
的
subordinate
在
那个 时间位置
holdsDuring
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7672-7676
如果
机构
是
自助餐馆
的
instance
,
然后 不存在
人类
这样
那个 人类
在
那个 机构
任职
服务职位
(=>
(
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
如果
物理
是
Ordaining
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 物理
的
patient
和
那个 实体
是
人类
的
instance
和
那个 另外 实体
是
宗教机构
的
instance
和
那个 实体
是
那个 另外 实体
的
member
和
那个 第三 实体
是
那个 物理
的
result
和
那个 第三 实体
是
宗教立场
的
instance
和
那个 实体
在
那个 另外 实体
任职
那个 第三 实体
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
如果
judge
过程
and
人类
,
然后 有存在
机构
这样
那个 人类
在
那个 机构
任职
法官
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
如果
punishes
人类
and
施事体
,
然后 有存在
机构
和
地位
这样
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
如果
punishes
人类
and
施事体
,
然后 有存在
机构
,
地位
, and 和
过程
这样
那个 人类
在
那个 机构
任职
那个 地位
和
那个 人类
是
那个 过程
的
agent
和
那个 机构
wants
那个 过程
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
如果
rewards
人类
and
施事体
,
然后 有存在
机构
和
地位
这样
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
如果
rewards
人类
and
施事体
,
然后 有存在
机构
,
地位
, and 和
过程
这样
那个 人类
在
那个 机构
任职
那个 地位
和
那个 人类
是
那个 过程
的
agent
和
那个 机构
wants
那个 过程
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