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
occupiesPosition
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
occupiesPosition
2
Position
)
Merge.kif 17271-17271
occupiesPosition
の数値 2 引数は
ポジション
の
instance
では %n
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17272-17272
occupiesPosition
の数値 3 引数は
組織
の
instance
では %n
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17269-17269
occupiesPosition
は
3進述語
の
instance
では %n
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
CollegeFreshman
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 1 より
less
では %n
(=>
(
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
CollegeJunior
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 2
greater
では %n
実数
は 3 より
less
では %n
(=>
(
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
CollegeSenior
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 3
greater
では %n
実数
は 4 より
less
では %n
(=>
(
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
CollegeSophomore
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 1
greater
では %n
実数
は 2 より
less
では %n
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21024-21030
Professor
は
人[人間]
の
attribute
では %n
人[人間]
は
教育組織
の
Professor
の
position
を holds %n{ない}
teacher
人[人間]
and
教育組織
教育組織
は
PostSecondarySchool
の
instance
では %n
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18906-18910
Teacher
は
人[人間]
の
attribute
では %n
人[人間]
は
教育組織
の
人[人間]
の
position
を holds %n{ない}
teacher
人[人間]
and
教育組織
(=>
(
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
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
AutonomousAgent
は
地政学的地域
の
instance
では %n
agentOperatesInArea
組織
and
AutonomousAgent
(=>
(
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
では %n
人[人間]
は
地政学的地域
の
government
の
Leader
の
position
を holds %n{ない}
工程
工程
は
案内
の
instance
では %n
地政学的地域
は
工程
の
patient
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
組織
は
地政学的地域
の
instance
では %n
人[人間]
は
組織
の
Leader
の
position
を holds %n{ない}
leader
組織
の
government
and
人[人間]
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
地政学的地域
は
国民
の
instance
では %n
leader
地政学的地域
and
人[人間]
ポジション
は
ポジション
の
instance
では %n
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leaderPosition
地政学的地域
and
ポジション
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
Banker
は
ポジション
の
attribute
では %n
組織
は
BankFinancialOrganization
の
instance
では %n
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18944-18948
ポジション
は
GovernmentPosition
の
instance
では %n
人[人間]
は
ポジション
RG の
ポジション
の
position
を holds %n{ない}
ポジション
RG は
GovernmentOrganization
の
instance
では %n
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
組織
は
AutonomousAgent
の
instance
では %n
leader
組織
and
人[人間]
ポジション
は
ポジション
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
leaderPosition
組織
and
ポジション
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
leaderPosition
地政学的地域
and
ポジション
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leader
地政学的地域
and
人[人間]
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
組織
は
AutonomousAgent
の
instance
では %n
leaderPosition
組織
and
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
leader
組織
and
人[人間]
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20879-20883
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
ポジション
は
ReligiousPosition
の
instance
では %n
組織
は
宗教団体
の
instance
では %n
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18933-18937
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
ポジション
は
SportsPosition
の
instance
では %n
組織
は
SportsTeam
の
instance
では %n
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
組織
は
PoliticalParty
の
instance
では %n
人[人間]
は
組織
の
member
では %n
(=>
(
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
subordinatePosition
組織
,
ポジション
and
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
人[人間]
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
subordinateInOrganization
組織
,
人[人間]
and
人[人間]
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
エンティティー
は
UnitedStatesDepartmentOfInterior
の
SecretaryOfTheInterior
の
position
を holds %n{ない} は
時間位置
の
during
holds %n{ない}
leader
UnitedStatesDepartmentOfInterior
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
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
エンティティー
は
エンティティー
の
Deacon
の
position
を holds %n{ない}
エンティティー
は
宗教団体
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
エンティティー
の
Cleric
の
position
を holds %n{ない}
subordinateInOrganization
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17278-17280
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
ポジション
は
人[人間]
の
attribute
では %n
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
人[人間]
は
RomanCatholicChurch
の
Pope
の
position
を holds %n{ない}
leader
RomanCatholicChurch
and
人[人間]
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21016-21018
人[人間]
は
組織
の
JudgeAtLaw
の
position
を holds %n{ない}
組織
は
JudicialOrganization
の
instance
では %n
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21008-21014
人[人間]
は
組織
の
JudgeAtLaw
の
position
を holds %n{ない}
ステートメント
エンティティー
エンティティー
は
LegalDecision
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n には
Permission
の
modal
force
が ある
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
candidateForPosition
Election
,
社会的役割
and
認識エージェント
AutonomousAgent
は
Election
の
agent
では %n
認識エージェント
が
認識エージェント
は
AutonomousAgent
の
社会的役割
の
position
を holds %n{ない} を
desire
s %n{ない}
(=>
(
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
として行う
capable
では %n
customer
認識エージェント
and
組織
組織
は
オブジェクト
に
located
して %n
工程
は
Arriving
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
end
s %n{ない}
人[人間]
人[人間]
は
組織
の
Valet
の
position
を holds %n{ない} ステートメント
エンティティー
エンティティー
エンティティー
は
ValetParking
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
ParkingRegion
の
instance
では %n には
Possibility
の
modal
force
が ある
(=>
(
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
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
diplomaticRepresentativeInRole
AutonomousAgent
,
人[人間]
,
ポジション
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
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
工程
は
Appointing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
の
エンティティー
の
position
を hold ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
人[人間]
は
人[人間]
の
instance
では %n
組織
は
組織
の
instance
では %n
ポジション
は
ポジション
の
instance
では %n
MemberRoleFn
組織
and
ポジション
は
人[人間]
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
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
工程
は
TransferringPosition
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
and
エンティティー
AutonomousAgent
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
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 22753-22761
subordinatePosition
組織
,
ポジション
and
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
人[人間]
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
subordinateInOrganization
組織
,
人[人間]
and
人[人間]
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
組織
は
ValetParking
を
agent
として行う
capable
では %n
人[人間]
人[人間]
は
組織
の
Valet
の
position
を holds %n{ない}
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
chiefOfState
地政学的地域
,
ポジション
and
人[人間]
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
chiefOfState
地政学的地域
,
ポジション
and
人[人間]
人[人間]
は
地政学的地域
の
government
の
Leader
の
position
を holds %n{ない}
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
組織
は
人[人間]
を
employ
s %n{ない}
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
headOfGovernment
地政学的地域
,
ポジション
and
人[人間]
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
(=>
(
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
エンティティー
は
エンティティー
の
Deacon
の
position
を holds %n{ない}
エンティティー
は
宗教団体
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
エンティティー
の
Cleric
の
position
を holds %n{ない}
subordinateInOrganization
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7673-7677
組織
は
Cafeteria
の
instance
では %n
人[人間]
人[人間]
は
組織
の
ServicePosition
の
position
を holds %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
物理
の
patient
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
宗教団体
の
instance
では %n
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
物理
の
result
では %n
エンティティー
は
ReligiousPosition
の
instance
では %n
エンティティー
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} の 目的 %n{ない}
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
judge
工程
and
人[人間]
組織
人[人間]
は
組織
の
JudgeAtLaw
の
position
を holds %n{ない}
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
punishes
人[人間]
and
AutonomousAgent
組織
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
punishes
人[人間]
and
AutonomousAgent
組織
ポジション
and
工程
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
人[人間]
は
工程
の
agent
では %n
組織
は
工程
を
want
s %n{ない}
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
rewards
人[人間]
and
AutonomousAgent
組織
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
rewards
人[人間]
and
AutonomousAgent
組織
ポジション
and
工程
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
人[人間]
は
工程
の
agent
では %n
組織
は
工程
を
want
s %n{ない}
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