Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
例
Object
and
AegilopsGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
DiploidCell
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
例
Process
and
BreakingRecord
agent
Process
and
AutonomousAgent
Set
Class
,
Process
,
TimePoint
,
CaseRole
,
Object
and
Entity
例
Set
and
Set
元件
AutonomousAgent
and
Set
子類
Class
and
Process
例
Object
and
Region
例
TimePoint
and
TimePoint
例
Entity
and
Quantity
例
Process
and
Class
參照
Process
and
Entity
參照
Entity
and
Process
AutonomousAgent
對於
Process
在事件
CaseRole
plays
角色
Process
是
located
在
Object
Entity
Entity
例
Entity
and
Set
等於
Entity
and
AutonomousAgent
例
Entity
and
Class
持有期間
時間間隔
TimePoint
and
結束
何時
Process
and
Entity
對於
Entity
在事件
CaseRole
plays
角色
Entity
是
located
在
Object
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
例
Entity
and
OrganismRemains
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
TYPE
子類
AutonomousAgent
TYPE and
OrganicObject
結果
Process
and
Entity
例
Entity
and 一個
dead
AutonomousAgent
TYPE
(=>
(
and
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1053-1058
子類
Class
and
Substance
例
Substance
and
Class
片
Substance
and
Substance
例
Substance
and
Class
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15400-15407
例
內容承載物理
and
ContentBearingObject
子類
ContentBearingObject
and
事實文本
作者
CognitiveAgent
and
ContentBearingObject
包含內容實例
內容承載物理
and
Formula
例
Formula
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
少於
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 16905-16909
例
Relation
and
經濟關係
域
Relation
, 1 and
Class
子類
Class
and
GeopoliticalArea
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
instance
?CO
CounterTerrorism
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
Terrorism
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2032-2042
例
Physical
and
反恐
有目的
Physical
and
entity
entity
,
entity
and
entity
agent
Physical
and
entity
enemy
entity
and
entity
子類
entity
and
恐怖主義
例
entity
and
entity
agent
entity
and
entity
防止
Physical
and
entity
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
例
Object
and
DurumWheatGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
TetraploidCell
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
例
GeographicArea
and
氣候區
子類
氣候區
and
氣候區
氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Object
例
Process
and
Process
子類
Process
and
Process
例
Entity
and
Entity
患者
Process
and
Entity
能力
Process
,
agent
and
AutonomousAgent
(=>
(
instance
?GRAPH
Graph
)
(
subclass
(
MinimalCutSetFn
?GRAPH)
(
CutSetFn
?GRAPH)))
Merge.kif 6087-6089
例
Graph
and
Graph
子類
最小割集
Graph
and
切集
Graph
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
attribute
CognitiveAgent
and
ObsessiveCompulsiveDisorder
Collection
Class
Class
是
Collection
的
member
類別
子類
Class
and
Investigating
子類
Class
and
清潔的
例
Class
I and
Class
agent
Class
I and
CognitiveAgent
想要
CognitiveAgent
and
Class
I
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
子類
Class
and
Android
例
Entity
and
Class
Alphabet公司
created
Entity
(=>
(
instance
?C
ElectricalConductor
)
(
exists
(?S)
(
and
(
subclass
?S
ConductorSubstance
)
(
material
?S ?C))))
engineering.kif 826-831
例
CorpuscularObject
and
ElectricalConductor
Substance
子類
Substance
and
導體物質
材料
Substance
and
CorpuscularObject
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Human
的
price
測量
0.0 and
美國美元
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
applicableRelation
Object
and
Relation
例
Object
and
Object
C
域
Relation
, 1 and
Class
等於
Object
C and
Class
子類
Object
C and
Class
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
例
Object
and
EinkornWheatGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
DiploidCell
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
子類
Class
and
蘋果作業系統
例
Entity
and
Class
蘋果
created
Entity
(=>
(
subclass
?C
(
CoveringFn
?B))
(
hasPurpose
?C
(
exists
(?P ?BI ?CI)
(
and
(
instance
?P
Covering
)
(
instance
?BI ?B)
(
instance
?CI ?C)
(
destination
?P ?BI)
(
patient
?P ?CI)))))
Mid-level-ontology.kif 29730-29739
子類
Physical
and 對於
BodyPart
的
covering
有目的
Physical
and
entity
BodyPart
I and
Physical
I
例
entity
and
Covering
例
BodyPart
I and
BodyPart
例
Physical
I and
Physical
目的地
entity
and
BodyPart
I
患者
entity
and
Physical
I
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
子類
Process
and
Process
例
Process
and
Process
Process
是
located
在
Region
例
CaseRole
and
CaseRole
例
Object
and
Object
例
Region
and
GeographicArea
CaseRole
Process
and
Object
Process
capable
在地點
CaseRole
對於
Object
跟
Region
在一起
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
例
TransportationDevice
and
卡車
Object
子類
Object
and
Object
Object
是
TransportationDevice
的
cargo
種類
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
例
CorpuscularObject
and
CorpuscularObject
Substance
Substance
子類
Substance
and
Substance
子類
Substance
and
Substance
材料
Substance
and
CorpuscularObject
材料
Substance
and
CorpuscularObject
等於
Substance
and
Substance
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
SelfConnectedObject
是 對於交通類別
Region
的
trafficable
子類
SelfConnectedObject
and
AutonomousAgent
例
Object
and
SelfConnectedObject
易位
capable
在地點
agent
對於
Object
跟
Region
在一起
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
例
GeopoliticalArea
and
內陸地區
子類
海事索賠區
and
海事索賠區
海事索賠區
是
GeopoliticalArea
的
maritime
要求類型
(=>
(
instance
?TEAM
CrossFunctionalTeam
)
(
exists
(?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(
and
(
subclass
?SKILL
Process
)
(
instance
?MEMBER1
Human
)
(
instance
?MEMBER2
Human
)
(
member
?MEMBER1 ?TEAM)
(
member
?MEMBER2 ?TEAM)
(
hasSkill
?SKILL ?MEMBER1)
(
not
(
hasSkill
?SKILL ?MEMBER2))
(
instance
?INST ?SKILL)
(
inScopeOfInterest
?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
例
Collection
and
CrossFunctionalTeam
Process
AutonomousAgent
,
AutonomousAgent
and
Entity
子類
Process
and
Process
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
Human
會員
AutonomousAgent
and
Collection
會員
AutonomousAgent
and
Collection
有技巧
Process
and
AutonomousAgent
有技巧
Process
and
AutonomousAgent
例
Entity
and
Process
在感興趣的範圍內
Collection
and
Entity
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2112-2121
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
子類
ContentBearingObject
and
聯合出版物
例
內容承載物理
and
ContentBearingObject
包含信息
內容承載物理
and
Formula
作者
AutonomousAgent
and
ContentBearingObject
Organization
子組織
Organization
and
美軍
授予義務
Formula
,
AutonomousAgent
and
Organization
(=>
(
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
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16379-16384
親
Organism
and
Organism
子類
Class
and
Organism
例
Organism
and
Class
例
Organism
and
Class
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
子類
ContentBearingObject
and
黨的平台
作者
CognitiveAgent
and
ContentBearingObject
例
CognitiveAgent
and
政治黨派
例
內容承載物理
and
ContentBearingObject
containsFormula
內容承載物理
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
and
(
subclass
?TYPE
TransportationDevice
)
(
subclass
(
TransportationFn
?TYPE)
Transportation
)
(
instance
?TRIP
(
TransportationFn
?TYPE)))
(
exists
(?VEHICLE)
(
and
(
instance
?VEHICLE ?TYPE)
(
instrument
?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
子類
TransportationDevice
and
TransportationDevice
子類
TransportationDevice
的
transportation
and
Transportation
例
Process
and
TransportationDevice
的
transportation
Object
例
Object
and
TransportationDevice
儀器
Process
and
Object
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
Plant
是
found
在
GeographicArea
子類
Plant
and
Plant
例
GeographicArea
and
GeographicArea
Physical
例
Physical
and
Plant
位於
Physical
and
GeographicArea
(=>
(
instance
?TEAM
SportsTeam
)
(
exists
(?SPORT)
(
and
(
subclass
?SPORT
Sport
)
(
capability
?SPORT
agent
?TEAM))))
Mid-level-ontology.kif 7528-7533
例
Object
and
運動隊
Process
子類
Process
and
Sport
能力
Process
,
agent
and
Object
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15431-15440
例
內容承載物理
and
ContentBearingObject
子類
ContentBearingObject
and
虛構的文字
作者
CognitiveAgent
and
ContentBearingObject
Formula
包含內容實例
內容承載物理
and
Formula
例
Formula
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
subclass
?VIRUS
TickBorneEncephalitisVirus
)
(
exists
(?DISEASE)
(
and
(
instance
?DISEASE
TickBorneEncephalitis
)
(
biochemicalAgentSyndrome
?VIRUS ?DISEASE))))
WMD.kif 2029-2034
子類
生化劑
and
蜱傳腦炎病毒
DiseaseOrSyndrome
例
DiseaseOrSyndrome
and
蜱傳腦炎
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
例
Catalog
and
SetMenu
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
已準備食物
例
Physical
and
Class
例
Physical
and
Entity
等於
Physical
and
Physical
Physical
是 對於
AutonomousAgent
1 的
price
CurrencyMeasure
Physical
是 對於
AutonomousAgent
2 的
price
CurrencyMeasure
等於
CurrencyMeasure
and
CurrencyMeasure
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
例
Object
and
海鮮
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
Fish
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
例
Object
and
Object
子類
Object
and
細胞核
%每個
Object
是
真核細胞
的
initially
part
Object
例
Object
and
染色質
部分
Object
and
Object
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
sheddingLeaves
Plant
and
PlantLeaf
例
Plant
and
DeciduousTree
例
PlantLeaf
and
PlantLeaf
Process
Process
子類
Process
and
Removing
頻率
Process
and
年持續時間
例
Process
and
Process
起源
Process
and
Plant
患者
Process
and
PlantLeaf
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Object
Object
Object
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
例
Object
and
OrganicObject
(=>
(
instance
?CO
CounterOperation
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
MilitaryOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2174-2184
例
Physical
and
反操作
有目的
Physical
and
entity
entity
,
entity
and
entity
agent
Physical
and
entity
enemy
entity
and
entity
子類
entity
and
軍事行動
例
entity
and
entity
agent
entity
and
entity
防止
Physical
and
entity
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
例
Physical
and
Protecting
有目的
Physical
and
entity
entity
,
entity
and
entity
ARM
例
entity
and
Object
患者
Physical
and
Object
子類
entity
ARM and
卡帕
entity
and
例
entity
and
犯罪行為
例
entity
and
Damaging
持有期間
entity
and
患者
entity
and
entity
持有期間
entity
and
患者
Physical
and
entity
防止
Physical
and
entity
ARM
Physical
hinders
entity
ARM
(=>
(
subclass
?A
Antibiotic
)
(
exists
(?D)
(
and
(
instance
?D
BacterialDisease
)
(
medicine
?A ?D))))
Mid-level-ontology.kif 9671-9676
子類
醫學
and
抗生素
DiseaseOrSyndrome
例
DiseaseOrSyndrome
and
細菌性疾病
medicine
醫學
and
DiseaseOrSyndrome
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Object
Object
例
Object
and
HotelUnit
Physical
例
Object
and
HotelUnit
例
Physical
and
Physical
位於
Physical
and
Object
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
例
Process
and
Buying
患者
Process
and
Entity
起源
Process
and
CognitiveAgent
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
付款
是
valid
payment
在
PricingScheme
底下
模態屬性
付款
MENT
例
付款
MENT and
付款
子過程
付款
MENT and
Process
and
容易
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
例
Physical
and
冰山
Class
子類
Class
and
冰川
持有期間
不久的過去
何時
Physical
and
材料
Class
and
Physical
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
子類
ContentBearingObject
and
黨的平台
作者
AutonomousAgent
and
ContentBearingObject
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
政治黨派
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
例
AutonomousAgent
and
AutonomousAgent
子類
AutonomousAgent
的
election
and
選舉
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
例
可穿戴物品
and
安全套
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
患者
entity
and
Animal
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
and
entity
例
entity
and
Human
體驗者
entity
and
entity
例
entity
and
落下
體驗者
entity
and
entity
原因
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
例
可穿戴物品
and
呼吸器
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
防止
entity
and
entity
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
例
entity
and
Human
患者
entity
and
entity
例
entity
and
吸入
agent
entity
and
entity
原因
entity
and
entity
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
子類
Series
and
Periodical
等於
系列卷
Series
and
PositiveInteger
and
Text
等於
系列卷
Series
and
PositiveInteger
and
Text
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
Text
例
Entity
and
Text
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
Day
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
例
GeographicArea
and
海事索賠區
子類
海事索賠區
and
海事索賠區
GeopoliticalArea
是
GeographicArea
的
claimed
領土
海事索賠區
是
GeopoliticalArea
的
maritime
要求類型
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
attribute
Object
and
Oversized
立即實例
Object
and
Class
子類
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
立即實例
Physical
and
Class
例
UnitOfMeasure
and
UnitOfArea
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
and
AreaMeasure
例
RealNumber
and
AreaMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT)))))
Economy.kif 2583-2592
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
import
全部
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸入
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
PricingScheme
是
valid
對於
AutonomousAgent
例
Entity
and
AutonomousAgent
模態屬性
例
entity
and
Buying
agent
entity
and
Entity
起源
entity
and
CognitiveAgent
患者
entity
and
Entity
CurrencyMeasure
是
entity
的
transaction
總額
and
容易
(=>
(
subclass
?X ?Y)
(
and
(
instance
?X
Class
)
(
instance
?Y
Class
)))
Merge.kif 137-141
子類
Class
and
Class
例
Class
and
Class
例
Class
and
Class
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6425-6434
例
Entity
and
SheddingPart
Entity
Entity
and
Entity
例
Entity
and
Entity
RG
子類
Entity
RG and
Organism
Entity
ART
例
Entity
and 一個
dead
Entity
ART %每個
Entity
ART 是
Entity
RG 的
initially
part
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
子類
Class
and
WindowsOS
例
Entity
and
Class
微軟
created
Entity
(=>
(
instance
?CLASS
Class
)
(
subclass
?CLASS
Entity
))
Merge.kif 828-830
例
Class
and
Class
子類
Class
and
Entity
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
例
Catalog
and
BeverageMenu
Entity
是在
Catalog
子類
Entity
and
Beverage
(=>
(
and
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT)))))
Economy.kif 2277-2286
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
AutonomousAgent
believes
AutonomousAgent
是
Quick
AutonomousAgent
believes
AutonomousAgent
是
Slow
例
Process
and
Class
例
Process
and
Class
子類
Class
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfDuration
持續時間
何時
Process
and
測量
RealNumber
and
UnitOfMeasure
持續時間
何時
Process
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
instance
?CF
CharcoalFilter
)
(
exists
(?C)
(
and
(
subclass
?C
Charcoal
)
(
material
?C ?CF))))
Cars.kif 1688-1693
例
CorpuscularObject
and
CharcoalFilter
Substance
子類
Substance
and
Charcoal
材料
Substance
and
CorpuscularObject
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
29.92 and
RealNumber
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
attribute
Object
and
加油站
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
子類
TransportationDevice
and
水車
例
Process
and
TransportationDevice
的
transportation
Process
是
located
在
Object
例
Object
and
WaterArea
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
instance
?PRED2 ?CLASS)
(
subclass
?CLASS
InheritableRelation
))
(
instance
?PRED1 ?CLASS))
Merge.kif 200-205
子關係
Relation
and
Relation
例
Relation
and
Class
子類
Class
and
可繼承的關係
例
Relation
and
Class
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
立即實例
Entity
and
Class
Class
子類
Class
and
Class
等於
Class
and
Class
例
Entity
and
Class
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
桿菌肽
例
DiseaseOrSyndrome
and
細菌性疾病
子類
Process
and
Putting
(=>
(
attribute
?H
Pulmonologist
)
(
exists
(?P1 ?P2 ?PAT ?L)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
patient
?P1 ?PAT)
(
patient
?P2 ?PAT)
(
instance
?L
Lung
)
(
part
?L ?PAT)
(
located
?P1
Lung
)
(
located
?P2
Lung
))))
Medicine.kif 4481-4492
attribute
Object
and
Pulmonologist
Process
Process
,
Object
and
Object
子類
Class
and
DiagnosticProcess
子類
Class
and
TherapeuticProcess
患者
Process
and
Object
患者
Process
and
Object
例
Object
and
肺
部分
Object
and
Object
位於
Process
and
肺
位於
Process
and
肺
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
子類
Class
and
報紙
例
TimePosition
and
Week
Process
Entity
例
Process
and
Publication
時間部分
何時
Process
and
TimePosition
結果
Process
and
Entity
例
Entity
and
Class
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
Plant
是
found
在
GeographicArea
子類
Plant
and
Plant
例
GeographicArea
and
GeographicArea
Physical
例
Physical
and
Plant
位於
Physical
and
GeographicArea
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
例
Physical
and
防護眼鏡
有目的
Physical
and
Physical
RSON
例
Physical
RSON and
Human
穿
Physical
RSON and
Physical
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
Physical
子類
entity
and
卡帕
entity
and
entity
例
entity
and
Injuring
例
entity
and
眼睛
例
entity
and
Human
適當的部分
entity
and
entity
患者
entity
and
entity
持有期間
entity
and
患者
entity
and
Physical
RSON
持有期間
entity
and
患者
entity
and
Physical
RSON
防止
entity
and
entity
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
例
Process
and
RecreationOrExercise
儀器
Process
and
Process
M
例
Process
M and
RowingMachine
體驗者
Process
and
AutonomousAgent
例
Process
OW and
划船
子過程
Process
MOT and
Process
子類
Class
and
BodyMotion
例
Process
MOT and
Class
Process
OWMOT
例
Process
OWMOT and
Class
子過程
Process
OWMOT and
Process
agent
Process
OWMOT and
AutonomousAgent
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 1980-1989
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
例
Object
and
SpeltWheatGrass
部分
Object
ELL and
Object
例
Object
ELL and
Object
LASS
子類
Object
LASS and
HexaploidCell
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
Collection
和
Collection
是
orthogonal
tests
例
Object
and
Human
例
Physical
and
Process
子類
Process
and
試驗
會員
Physical
and
Collection
能力
Process
,
experimentalSubject
and
Object
Physical
Process
例
Physical
and
Process
會員
Physical
and
Collection
子類
Process
and
試驗
能力
Process
,
experimentalSubject
and
Object
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
例
Process
and
ViolentContest
患者
Process
and
Object
attribute
Object
and
InjuryCausedFn
Process
attribute
Object
and
ImpairedBodyPartFn
空中航線
模態屬性
子類
Process
and
Combustion
entity
例
entity
and
Injuring
位於
entity
and
entity
例
entity
and
面對
患者
entity
and
Object
and
容易
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
attribute
Object
and
藝術評論家
有目的
Object
and
entity
entity
and
entity
例
entity
and
ArtWork
暫時重疊
何時
entity
and
何時
Object
例
entity
and
entity
子類
entity
and
Article
作者
Object
and
entity
參照
entity
and
entity
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
例
Object
and
香料
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
植物解剖結構
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
海事索賠區
是
GeopoliticalArea
的
maritime
要求類型
子類
海事索賠區
and
海事索賠區
GeographicArea
例
GeographicArea
and
海事索賠區
GeopoliticalArea
是
GeographicArea
的
claimed
領土
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
例
CaseRole
and
CaseRole
CaseRole
Entity
and
Object
例
Entity
and
Process
子類
Process
and
Process
能力
Process
,
CaseRole
and
Object
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
例
Object
and
CommonWheatGrass
部分
Object
ELL and
Object
例
Object
ELL and
Object
LASS
子類
Object
LASS and
HexaploidCell
(=>
(
and
(
trafficableForTrafficType
?PLACE ?TYPE)
(
subclass
?TYPE
TransportationDevice
)
(
instance
?MOVER ?TYPE))
(
capableAtLocation
Transportation
instrument
?MOVER ?PLACE))
Transportation.kif 2610-2615
SelfConnectedObject
是 對於交通類別
Region
的
trafficable
子類
SelfConnectedObject
and
TransportationDevice
例
Object
and
SelfConnectedObject
Transportation
capable
在地點
儀器
對於
Object
跟
Region
在一起
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
RealNumber
and 29.92
測量
Object
and
測量
RealNumber
and
凱文度
少於
RealNumber
and
RealNumber
attribute
Object
and
固體
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
Entity
and
假日
子類
假日
and
固定假期
小於或等於
Integer
and
entity
-YEAR
例
Entity
and
天
PositiveInteger
and
月
Month
and
年
entity
-YEAR
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2202-2211
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Object
例
Entity
and
Physical
賦予權利
entity
例
entity
and
Process
資源
entity
and
Entity
儀器
entity
and
Entity
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
attribute
AutonomousAgent
and
作家
例
Entity
and
ContentBearingObject
子類
ContentBearingObject
and
Text
子類
ContentBearingObject
and
Document
例
Process
and
Writing
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
作者
AutonomousAgent
and
ContentBearingObject
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1780-1788
等於
Object
and
Object
跟
Attribute
的
attr
例
Object
and
Object
例
Object
and
Object
子類
Object
and
Object
attribute
Object
and
Attribute
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
例
Catalog
and
AlcoholMenu
Entity
是在
Catalog
子類
Entity
and
酒精飲料
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
等於
AutonomousAgent
and
AutonomousAgent
例
Process
and
Class
例
Process
and
Class
子類
Class
and
IntentionalPsychologicalProcess
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持續時間
何時
Process
and
TimeDuration
持續時間
何時
Process
and
TimeDuration
模態屬性
比較多
TimeDuration
and
TimeDuration
and
容易
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
子類
Class
and
Tissue
子類
Class
and
Tissue
例
Object
and
Class
例
Object
and
Class
例
Object
and
Human
部分
Object
and
Object
部分
Object
and
Object
等於
Class
and
Class
子類
Class
and
Class
子類
Class
and
Class
方位
Object
,
Object
and
鄰
模態屬性
entity
例
entity
and
ConnectiveTissue
之間
Object
,
entity
and
Object
and
容易
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
例
Object
and
TriticumUrartu
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
DiploidCell
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
域子類
Relation
,
PositiveInteger
and
Class
例
Relation
and
Predicate
Relation
@ROW
子類
清單順序
名單
@ROW and
PositiveInteger
and
Class
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
Physical
是區域
GeographicArea
的
natural
有害類別
子類
Physical
and
Process
Physical
例
Physical
and
Physical
位於
Physical
and
GeographicArea
暫時重疊
何時
Physical
and
何時
GeographicArea
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
位於
Process
and
暫住
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
RICE
UnitOfMeasure
Object
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16981-16986
例
Object
and
遊戲神器
Process
子類
Process
and
Game
能力
Process
,
儀器
and
Object
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
例
AutonomousAgent
and
AutonomousAgent
子類
年
and
年
例
AutonomousAgent
和
年
的
fiscal
開始年分 and
AutonomousAgent
的
fiscal
年
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
例
GeopoliticalArea
and
GeographicArea
所有的
instances
在
GeopoliticalArea
子類
GeographicArea
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(=>
(
and
(
subclass
?PROGRAM
NewsProgram
)
(
instance
?EPISODE
(
SeriesVolumeFn
?PROGRAM ?NUMBER)))
(
exists
(?DISSEMINATE)
(
and
(
instance
?DISSEMINATE
Disseminating
)
(
patient
?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14606-14613
子類
Series
and
新聞節目
例
Entity
and
系列卷
Series
and
PositiveInteger
Process
例
Process
and
Disseminating
患者
Process
and
Entity
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
)))
Sports.kif 1040-1047
例
CorpuscularObject
and
SnowSki
材料
Substance
and
CorpuscularObject
子類
Substance
and
Metal
子類
Substance
and
木
子類
Substance
and
塑料
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
attribute
Object
and
液體
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
例
Catalog
and
WineMenu
Entity
是在
Catalog
子類
Entity
and
WineMenu
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
(=>
(
and
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸入
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
import
全部
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
例
Catalog
and
Menu
Entity
是在
Catalog
子類
Entity
and
food
for
Human
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
軍車
是 對於
PositiveInteger
的
weapon
攜帶容量
Weapon
例
Object
and
Weapon
能力
Process
,
CaseRole
and
Object
子類
Process
and
Shooting
子類
Process
and
Damaging
能力
Process
,
CaseRole
and
軍車
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
Physical
的使用對於
HotelFunctionRoom
是免費
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
子類
Physical
and
Object
模態屬性
entity
entity
例
entity
and
Physical
例
entity
and
Process
資源
entity
and
entity
儀器
entity
and
entity
患者
entity
and
entity
agent
entity
and
Entity
體驗者
entity
and
Entity
and
可能性
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3392-3396
例
Function
and
SequenceFunction
範圍
Function
and
Class
子類
Class
and
Integer
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
例
TimeInterval
and
TimeInterval
_CLASS
子類
TimeInterval
_CLASS and
Process
例
AccessingWebPage
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
TimeInterval
and
AutonomousAgent
agent
AccessingWebPage
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
例
Physical
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
之前
開始
何時
TimeInterval
and
開始
何時
TimeInterval
等於
開始
何時
AccessingWebPage
and
開始
何時
Physical
等於
開始
何時
TimeInterval
and
結束
何時
Physical
等於
AccessingWebPage
的
time
在 類別
TimeInterval
_CLASS and
Physical
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
例
Physical
and
婚禮
日期
Physical
and
Day
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
weddingAnniversary
Physical
and
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
例
Entity
and
職業貿易
例
Entity
and
職業
持有期間
TimePosition
and
attribute
entity
and
Entity
Class
子類
Class
and
FieldOfStudy
持有期間
TimePosition
and
Class
有 在
entity
的專業知識
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
RICE
UnitOfMeasure
Process
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
能力
Process
,
CaseRole
and
Object
子類
Process
and
Shooting
Object
例
Object
and
Weapon
部分
Object
and
Object
能力
Process
,
CaseRole
and
Object
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
Physical
是區域
GeographicArea
的
natural
有害類別
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
GeographicArea
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
PricingScheme
是
valid
during
TimeInterval
持有期間
TimeInterval
and
模態屬性
例
entity
and
Selling
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
CurrencyMeasure
是
entity
的
transaction
總額
and
容易
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
Human
的
birthday
是
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
例
Object
and
禮堂座位
部分
Object
and
Object
部分
Object
and
Object
例
Object
and
禮堂
例
Object
and
表演階段
位於
Object
and
Object
例
Object
and
Human
子類
Process
and
Seeing
Process
例
Process
and
Process
患者
Process
and
Object
能力
Process
,
agent
and
Object
(=>
(
instance
?CO
CounterReconnaissance
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
ReconnaissanceOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2193-2203
例
Physical
and
反偵察
有目的
Physical
and
entity
entity
,
entity
and
entity
agent
Physical
and
entity
enemy
entity
and
entity
子類
entity
and
ReconnaissanceOperation
例
entity
and
entity
agent
entity
and
entity
防止
Physical
and
entity
(=>
(
instance
?INDUSTRY
Industry
)
(
exists
(?MEMB1 ?MEMB2 ?CLASS)
(
and
(
member
?MEMB1 ?INDUSTRY)
(
member
?MEMB2 ?INDUSTRY)
(
subclass
?CLASS
Corporation
)
(
immediateInstance
?MEMB1 ?CLASS)
(
immediateInstance
?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15016-15024
例
Collection
and
行業
Physical
Physical
and
Class
會員
Physical
and
Collection
會員
Physical
and
Collection
子類
Class
and
Corporation
立即實例
Physical
and
Class
立即實例
Physical
and
Class
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
例
Object
and
Meat
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
Animal
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
例
Object
and
EmmerWheatGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
TetraploidCell
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
例
Object
and
FoodFromPlant
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
Plant
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
比較多
測量
RealNumber
UANTITY and
entity
and
測量
RealNumber
and
UnitOfMeasure
and
較不可能
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
例
CorpuscularObject
and
電阻元件
Substance
子類
Substance
and
絕緣體物質
材料
Substance
and
CorpuscularObject
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
AutonomousAgent
offers
拍賣樣品在
Catalog
在其間
TimeInterval
Entity
是在
Catalog
子類
Entity
and
Object
例
Process
and
Process
子類
Process
and
Process
例
Entity
and
Entity
患者
Process
and
Entity
例
TimeInterval
and
TimeInterval
子類
TimeInterval
and
TimeInterval
AutonomousAgent
是
capable
當成
agent
在
Process
在期間
TimeInterval
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Process
模態屬性
entity
entity
,
entity
and
entity
例
entity
and
HotelUnit
元件
entity
and
屬性
entity
agent
entity
and
entity
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
例
Process
and
收穫
結果
Process
and
Entity
Entity
RG
例
Entity
and 一個
dead
Entity
RG
子類
Entity
RG and
OrganicObject
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
attribute
Object
and
DutyFree
例
Object
and
商店
GeopoliticalArea
Entity
,
Object
and
Process
例
GeopoliticalArea
and
GeopoliticalArea
位於
Object
and
GeopoliticalArea
子類
Object
and
Object
Object
是
GeopoliticalArea
的
import
商品種類
例
Entity
and
Object
例
Process
and
Selling
患者
Process
and
Entity
位於
Process
and
Object
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
attribute
Object
and
新聞記者
有目的
Object
and
entity
entity
and
entity
例
entity
and
Process
暫時重疊
何時
entity
and
何時
Object
例
entity
and
entity
子類
entity
and
報紙
子類
entity
and
新聞節目
作者
Object
and
entity
參照
entity
and
entity
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Proposition
模態屬性
entity
entity
and
entity
例
entity
and
Entity
實現
entity
and
entity
例
entity
and
Selling
患者
entity
and
entity
agent
entity
and
AutonomousAgent
and
可能性
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Physical
模態屬性
entity
entity
例
entity
and
Entity
例
entity
and
Selling
agent
entity
and
AutonomousAgent
患者
entity
and
entity
and
可能性
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Object
是 對於
Human
的
price
測量
0 and
美國美元
(=>
(
and
(
instance
?WATER
River
)
(
trafficableForTrafficType
?WATER ?TYPE)
(
subclass
?TYPE
WaterVehicle
))
(
instance
?WATER
Waterway
))
Transportation.kif 1683-1688
例
Object
and
河
SelfConnectedObject
是 對於交通類別
Object
的
trafficable
子類
SelfConnectedObject
and
水車
例
Object
and
水路
(=>
(
instance
?COIN
CurrencyCoin
)
(
exists
(?METAL)
(
and
(
subclass
?METAL
Metal
)
(
material
?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
例
CorpuscularObject
and
貨幣硬幣
Substance
子類
Substance
and
Metal
材料
Substance
and
CorpuscularObject
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
SymbolicString
在
ISO-639-1
denotes
Entity
例
Entity
and
HumanLanguage
例
Entity
and
子類
entity
and
HumanLanguage
(=>
(
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
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
例
Object
and
CompoundSubstance
子類
CompoundSubstance
and
CompoundSubstance
Object
例
Object
and
CompoundSubstance
部分
Object
and
Object
molecularRatio
ElementalSubstance
,
Integer
and
CompoundSubstance
例
Collection
and
Group
會員
Object
and
Collection
部分
Object
and
Object
例
Object
and
ElementalSubstance
Integer
是
Collection
的
member
計數
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
AutonomousAgent
offers
拍賣樣品在
Catalog
在其間
TimeInterval
Entity
是在
Catalog
子類
Entity
and
Process
例
TimeInterval
and
TimeInterval
子類
TimeInterval
and
TimeInterval
AutonomousAgent
是
capable
當成
agent
在
Entity
在期間
TimeInterval
(=>
(
and
(
instance
?S ?C)
(
subclass
?C
Seafood
))
(
exists
(?X ?SEA ?ANIMAL)
(
and
(
meatOfAnimal
?C ?ANIMAL)
(
instance
?X ?ANIMAL)
(
instance
?SEA
BodyOfWater
)
(
inhabits
?X ?SEA))))
Food.kif 1928-1937
例
Entity
and
Meat
子類
Meat
and
海鮮
Organism
Entity
EA and
Animal
Meat
是
Animal
的
meat
例
Organism
and
Animal
例
Entity
EA and
水體
棲息
Organism
and
Entity
EA
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
(=>
(
subclass
?I
Immunosuppressive
)
(
hasPurpose
?I
(
and
(
instance
?AID
AutoImmuneDisorder
)
(
diseaseMedicine
?AID ?I ?P))))
Medicine.kif 4614-4619
子類
Physical
and
Immunosuppressive
有目的
Physical
and
例
entity
and
AutoImmuneDisorder
entity
是 對於
entity
的
disease
治癒
Physical
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2156-2165
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
(=>
(
and
(
subclass
?X ?Y)
(
instance
?Z ?X))
(
instance
?Z ?Y))
Merge.kif 143-147
子類
Class
and
Class
例
Entity
and
Class
例
Entity
and
Class
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
例
Process
and
決定
agent
Process
and
CognitiveAgent
例
Set
and
Set
患者
Process
and
Set
元件
Entity
and
Set
相信
CognitiveAgent
and
entity
例
Entity
and
entity
子類
entity
and
IntentionalProcess
能力
entity
,
agent
and
CognitiveAgent
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
Object
對於
Process
在事件
CaseRole
plays
角色
例
Process
and
Process
子類
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
plays
角色
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
例
Process
and
砍伐
結果
Process
and
Entity
Entity
TEM
例
Entity
and 一個
dead
Entity
TEM
子類
Entity
TEM and
PlantStem
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
例
Object
and
Plant
部分
Object
and
Object
Process
Entity
and
Process
例
Process
and
Process
子類
Process
and
Keeping
例
Entity
and
淡水
患者
Process
and
Entity
能力
Process
,
儀器
and
Object
例
Object
and
PlantLeaf
例
Object
and
PlantStem
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
等於
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
例
子類
and
BinaryPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
例
子類
and
PartialOrderingRelation
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18472-18472
例
子類
and
ClosedWorldPredicate
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