located
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20601-20623
attribute
CognitiveAgent
and
Waiter
例
CognitiveAgent
and
Human
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
餐廳
AutonomousAgent
是
CognitiveAgent
的
customer
位於
CognitiveAgent
and
Object
例
Object
and
表
Object
entity
,
entity
and
Object
擁有
AutonomousAgent
and
Object
例
Object
and
KitchenArea
例
Object
and
DiningArea
位於
Object
and
Object
有目的
CognitiveAgent
and
例
entity
and
攜帶
agent
entity
and
CognitiveAgent
起源
entity
and
Object
目的地
entity
and
Object
患者
entity
and
entity
例
entity
and
food
for
Human
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
公民
Human
and
Nation
Object
位於
Human
and
Object
位於
Human
and
Nation
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4648-4657
GeopoliticalArea
是 對於 %3 的
diplomatic
類別
例
GeopoliticalArea
and
Nation
例
AutonomousAgent
and
GeopoliticalArea
Organization
例
Organization
and
Organization
位於
Organization
and
AutonomousAgent
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4658-4667
Organization
是 對於 %3 的
diplomatic
類別
例
Organization
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
Organization
例
Organization
and
Organization
位於
Organization
and
AutonomousAgent
子組織
Organization
and
Organization
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
元件
Object
and
屬性
Organization
attribute
Object
and
AnnexRoom
例
Object
and
HotelRoom
Object
Object
and
Organization
子組織
Organization
and
Organization
例
Organization
and
HotelFrontDesk
位於
Organization
and
Object
元件
Object
and
屬性
Organization
元件
Object
and
屬性
Organization
部分
Object
and
Object
等於
Object
and
Object
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
TennisProfessional
CognitiveAgent
是在
AutonomousAgent
的
guest
模態屬性
entity
entity
例
entity
and
Tennis
CognitiveAgent
participates
在
entity
CognitiveAgent
participates
在
entity
位於
entity
and
entity
位於
AutonomousAgent
and
entity
and
可能性
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6357-6364
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
PainFn
BodyPart
BodyPart
ART
部分
BodyPart
ART and
Process
位於
BodyPart
ART and
BodyPart
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
Human
是在
AutonomousAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
AutonomousAgent
and
Human
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
持有期間
TimeInterval
and
attribute
entity
and
平民流離失所
棲息
entity
and
entity
位於
entity
and
GeographicArea
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
entity
-RES and
Object
例
entity
-PLACE and
GeopoliticalArea
位於
entity
-RES and
entity
-PLACE
等於
GeographicArea
and
entity
-PLACE
等於
entity
and
entity
-RES
GeographicArea
是
entity
-PLACE 的
geographic
次要地區
entity
-PLACE 是
GeographicArea
的
geographic
次要地區
持有期間
TimeInterval
and
棲息
entity
and
entity
-RES
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
例
Object
and
maritime
宣稱 1% 的海洋領土
寬度
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Physical
,
Region
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
位於
Physical
and
Object
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24019-24028
例
Process
and
Birth
起源
Process
and
Object
Entity
TimeInterval
例
Entity
and
Zygote
早期
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
位於
Entity
and
Object
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
例
Process
and
Choking
體驗者
Process
and
AutonomousAgent
Entity
Object
and
Object
例
Entity
and
Object
例
Object
and
Trachea
例
Object
and
肺
部分
Object
and
AutonomousAgent
部分
Object
and
AutonomousAgent
持有期間
何時
Process
and
位於
Entity
and
Object
位於
Entity
and
Object
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
例
Process
and
Coughing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
and
entity
例
entity
and
肺
例
entity
and
喉
例
entity
and
Object
例
entity
and
Removing
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
位於
entity
and
entity
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
例
Process
and
Sneezing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
OSE and
entity
例
entity
and
NasalCavity
例
entity
OSE and
鼻子
等於
entity
OSE and
洞主持人
entity
例
entity
and
Object
例
entity
and
Removing
部分
entity
OSE and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
例
協議
and
民政協議
協議
是
entity
_MIL_THIS 的
party
協議
例
entity
_MIL_THIS and
軍事組織
entity
_THIS 是
entity
_MIL_THIS 的
military
區域
例
entity
_THIS and
Nation
位於
entity
_MIL_THIS and
entity
_FRIENDLY
例
entity
_FRIENDLY and
Nation
等於
entity
_THIS and
entity
_FRIENDLY
enemy
entity
_THIS and
entity
_FRIENDLY
entity
_FRIENDLY
位於
entity
_FRIENDLY and
entity
_FRIENDLY
協議
是
entity
_FRIENDLY 的
party
協議
例
entity
_FRIENDLY and
軍事組織
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
exists
(?COLL)
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
not
(
exists
(?SET)
(
and
(
instance
?SET
MonoploidChromosomeSet
)
(
not
(
equal
?SET ?COLL))
(
located
?SET ?N)))))))
VirusProteinAndCellPart.kif 756-771
例
Object
and
MonoploidCell
例
Object
and
細胞核
部分
Object
and
Object
Physical
例
Physical
and
MonoploidChromosomeSet
位於
Physical
and
Object
Physical
例
Physical
and
MonoploidChromosomeSet
等於
Physical
and
Physical
位於
Physical
and
Object
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5043-5051
例
Entity
and
戶外服裝
持有期間
TimePosition
and
穿
entity
and
Entity
Entity
例
Entity
and
Building
持有期間
TimePosition
and
位於
entity
and
Entity
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
例
Process
and
發現
患者
Process
and
Entity
持有期間
何時
Process
and
位於
Entity
and
entity
Process
例
Process
and
Learning
子過程
Process
and
Process
患者
Process
and
位於
Entity
and
entity
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9986-9994
例
Process
and
EdemaFn
BodyPart
體驗者
Process
and
AutonomousAgent
BodyPart
I
例
BodyPart
I and
BodyPart
部分
BodyPart
I and
AutonomousAgent
位於
Process
and
BodyPart
I
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
例
可穿戴物品
and
Earphone
穿
Animal
and
可穿戴物品
例
Object
and
頭
部分
Object
and
Animal
位於
可穿戴物品
and
Object
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
例
Process
and
EngineCycle
例
發動機
and
內燃機
例
Object
and
Piston
例
UnitOfMeasure
and
UnitOfLength
部分
Object
and
發動機
患者
Process
and
Object
Process
是
located
在
發動機
pistonStroke
發動機
and
測量
RealNumber
and
UnitOfMeasure
TimeInterval
TimeInterval
,
Physical
,
Physical
and
RealNumber
期間
TimeInterval
and
何時
Process
期間
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
位於
Object
and
Physical
持有期間
TimeInterval
and
位於
Object
and
Physical
距離
Physical
,
Physical
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
目的地
Process
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
起源
Process
and
Object
持有期間
開始
何時
Process
and
位於
Entity
and
Object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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