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:
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
不相交分解
Class
and @ROW
Class
在列表中
Class
and
名單
@ROW
子類
Class
and
Class
(=>
(
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
(=>
(
subclass
?VIRUS
TickBorneEncephalitisVirus
)
(
exists
(?DISEASE)
(
and
(
instance
?DISEASE
TickBorneEncephalitis
)
(
biochemicalAgentSyndrome
?VIRUS ?DISEASE))))
WMD.kif 2029-2034
子類
生化劑
and
蜱傳腦炎病毒
DiseaseOrSyndrome
例
DiseaseOrSyndrome
and
蜱傳腦炎
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
(=>
(
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
水路
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
例
Catalog
and
BeverageMenu
Entity
是在
Catalog
子類
Entity
and
Beverage
(=>
(
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
?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
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
SapeleWood
子類
Object
and
PlantStem
%每個
Object
是
SapeleTree
的
initially
part
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
等於
生物製劑
and
球孢子菌 posadasii
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
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
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
FirWood
子類
Object
and
PlantStem
%每個
Object
是
FirTree
的
initially
part
(=>
(
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
(
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
?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
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
等於
Plant
and
PlantFn
ButternutSquash
子類
Plant
and
HerbaceousPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
SpruceWood
子類
Object
and
PlantStem
%每個
Object
是
SpruceTree
的
initially
part
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
等於
Plant
and
PlantFn
Strawberry
子類
Plant
and
HerbaceousPlant
(=>
(
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
(=>
(
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
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
子類
Object
and
水果
等於
Object
and
黃瓜
%每個
Object
是
CucumberPlant
的
initially
part
(=>
(
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
(
organizationProductType
?BUSINESS ?TYPE)
(
subclass
?TYPE ?GENUS))
(
organizationProductType
?BUSINESS ?GENUS))
Economy.kif 1627-1631
Object
是
Organization
的
organization
產品類別
子類
Object
and
Object
Object
是
Organization
的
organization
產品類別
(=>
(
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
(=>
(
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
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
等於
Plant
and
PlantFn
釀酒葡萄
子類
Plant
and
GrapeVine
(=>
(
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
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
等於
Plant
and
PlantFn
Mustard
子類
Plant
and
HerbaceousPlant
(=>
(
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
?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
?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
?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
?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
計數
(=>
(
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
(
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
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
CherryWood
子類
Object
and
PlantStem
%每個
Object
是
BlackCherryTree
的
initially
part
%每個
Object
是
SweetCherryTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
WalnutWood
子類
Object
and
PlantStem
%每個
Object
是
WalnutTree
的
initially
part
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
等於
Plant
and
PlantFn
Basil
子類
Plant
and
HerbaceousPlant
(=>
(
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
(
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
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OkoumeWood
子類
Object
and
PlantStem
%每個
Object
是
奧古曼樹
的
initially
part
(=>
(
version
?ARTIFACT1 ?ARTIFACT2)
(
subclass
?ARTIFACT1 ?ARTIFACT2))
Merge.kif 15712-15714
版
Artifact
and
Artifact
子類
Artifact
and
Artifact
(=>
(
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
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
PineWood
子類
Object
and
PlantStem
%每個
Object
是
松樹
的
initially
part
(=>
(
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
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
RedOakWood
子類
Object
and
PlantStem
%每個
Object
是
RedOakTree
的
initially
part
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
域子類
Relation
,
PositiveInteger
and
Class
域子類
Relation
,
PositiveInteger
and
Class
子類
Class
and
Class
子類
Class
and
Class
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
等於
Plant
and
PlantFn
TamarindFruit
子類
Plant
and
植物樹
(=>
(
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
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
等於
Plant
and
PlantFn
SpeltWheatGrain
子類
Plant
and
SpeltWheatGrass
(=>
(
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
可穿戴物品
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
等於
Getting
and
receiving
一個
Object
等於
Getting
and
receiving
一個
Object
子類
Object
and
Object
子類
Getting
and
Getting
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
域
Relation
,
PositiveInteger
and
Class
域
Relation
,
PositiveInteger
and
Class
子類
Class
and
Class
子類
Class
and
Class
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Meat
子類
OrganicObject
and
Animal
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
CedarWood
子類
Object
and
PlantStem
%每個
Object
是
CedarTree
的
initially
part
(=>
(
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
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
等於
Organization
and
DepartmentOfPreventingFn
Organization
and
Physical
子類
Physical
and
Process
子組織
Organization
and
Organization
抑制
Organization
and
Physical
(=>
(
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
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
子類
Object
and
咖啡
%每個
咖啡豆
是
Object
的
initially
part
(=>
(
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
(=>
(
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
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Text
持有期間
TimePosition
and
attribute
entity
and
信息產業
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
WhiteOakWood
子類
Object
and
PlantStem
%每個
Object
是
WhiteOakTree
的
initially
part
(=>
(
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
?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
(
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
(
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
(=>
(
subclass
?X
UniformClothing
)
(
exists
(?GRP)
(
hasUniform
?GRP ?X)))
Mid-level-ontology.kif 26690-26693
子類
UniformClothing
and
UniformClothing
Group
Group
有
uniform
UniformClothing
(=>
(
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
容易
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
Organism
是
生物製劑
的病毒傳遞者
子類
Organism
and
Organism
Organism
是
生物製劑
的病毒傳遞者
(=>
(
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
容易
(=>
(
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
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BeechWood
子類
Object
and
PlantStem
%每個
Object
是
BeechTree
的
initially
part
(=>
(
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
(
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
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
直接子類
Class
and
Class
Class
子類
Class
and
Class
子類
Class
and
Class
等於
Class
and
Class
等於
Class
and
Class
(=>
(
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
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
音樂作品
持有期間
TimePosition
and
attribute
entity
and
音樂出版商
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
ClimateZone
))
(
climateTypeInArea
?AREA ?TYPE))
Geography.kif 1263-1267
例
GeographicArea
and
氣候區
子類
氣候區
and
氣候區
氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
子類
Object
and
種子
等於
Object
and
苜
%每個
Object
是
CloverPlant
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Softwood
子類
OrganicObject
and
PlantStem
模態屬性
%每個
OrganicObject
是
Conifers
的
initially
part
and
容易
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
等於
Plant
and
PlantFn
芝麻
子類
Plant
and
HerbaceousPlant
(=>
(
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
(=>
(
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
較不可能
(=>
(
secretesToxin
?FROG
Batrachotoxin
)
(
subclass
?FROG
Amphibian
))
WMD.kif 313-315
Batrachotoxin
是
Organism
的
secretes
毒素
子類
Organism
and
Amphibian
(=>
(
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
(=>
(
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
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
Process
是
生化劑
的
biochemical
病毒傳遞
子類
Process
and
Process
Process
是
生化劑
的
biochemical
病毒傳遞
(=>
(
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
?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
輸出
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
等於
Plant
and
PlantFn
Parsley
子類
Plant
and
HerbaceousPlant
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
例
Catalog
and
AlcoholMenu
Entity
是在
Catalog
子類
Entity
and
酒精飲料
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
子類
Object
and
花
等於
Object
and
菜花
%每個
Object
是
CabbagePlant
的
initially
part
(=>
(
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
(
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
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
例
Catalog
and
Menu
Entity
是在
Catalog
子類
Entity
and
food
for
Human
(=>
(
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
(
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
全部
(=>
(
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
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
等於
Plant
and
PlantFn
Garlic
子類
Plant
and
HerbaceousPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Hardwood
子類
OrganicObject
and
PlantStem
模態屬性
%每個
OrganicObject
是
DeciduousTree
的
initially
part
and
容易
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
Malt
子類
Object
and
穀物
%每個
Object
是
穀物草
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
PoplarWood
子類
Object
and
PlantStem
%每個
Object
是
PoplarTree
的
initially
part
(=>
(
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
容易
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
attribute
Human
and
研究員
FieldOfStudy
子類
FieldOfStudy
and
科學
FieldOfStudy
有 在
Human
的專業知識
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
Process
and
Process
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
(=>
(
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
(
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
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
子類
Class
and
蘋果作業系統
例
Entity
and
Class
蘋果
created
Entity
(=>
(
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
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
例
GeographicArea
and
海事索賠區
子類
海事索賠區
and
海事索賠區
GeopoliticalArea
是
GeographicArea
的
claimed
領土
海事索賠區
是
GeopoliticalArea
的
maritime
要求類型
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
等於
Plant
and
PlantFn
蘋果
子類
Plant
and
DeciduousTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
LarchWood
子類
Object
and
PlantStem
%每個
Object
是
LarchTree
的
initially
part
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 339-343
範圍子類
Function
and
Class
等於
任務
Function
and @ROW and
Class
子類
Class
and
Class
(=>
(
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
(
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
(
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
(
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
(=>
(
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
(=>
(
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
(
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
(
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
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
羊皮
子類
Object
and
皮膚
%每個
Object
是
羊
的
initially
part
(=>
(
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
?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
(
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
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
等於
Plant
and
PlantFn
腰果
子類
Plant
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
?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
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
子類
Object
and
PlantStem
等於
Object
and
苜蓿
%每個
Object
是
AlfalfaPlant
的
initially
part
(=>
(
diseaseMedicine
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1315-1317
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
外用抗生素
子類
Process
and
Covering
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
子類
Object
and
Mixture
%每個
Object
是
Meat
的
initially
part
%每個
Object
是
FoodFromPlant
的
initially
part
%每個
Object
是
飲用水
的
initially
part
等於
Object
and
高湯
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
毛皮
子類
OrganicObject
and
皮膚
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
等於
Plant
and
PlantFn
Celery
子類
Plant
and
HerbaceousPlant
(=>
(
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
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Process
能力
Entity
,
agent
and
AutonomousAgent
(=>
(
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
(=>
(
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
輸出
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
等於
生物製劑
and
鼠疫耶爾森氏菌
的
biological
agent
子類
生物製劑
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
?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
(
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
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BalsaWood
子類
Object
and
PlantStem
%每個
Object
是
BalsaTree
的
initially
part
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
等於
Plant
and
PlantFn
Scallion
子類
Plant
and
HerbaceousPlant
(=>
(
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
(
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
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Book
持有期間
TimePosition
and
attribute
entity
and
圖書出版商
(=>
(
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
容易
(=>
(
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
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
等於
Plant
and
PlantFn
CommonWheatGrain
子類
Plant
and
CommonWheatGrass
(=>
(
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
?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
(=>
(
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
(
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
(=>
(
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
?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
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
等於
GeographicArea
and
GeographicArea
所有的
instances
在
GeographicArea
子類
GeographicArea
and
GeographicArea
(=>
(
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
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
等於
Plant
and
PlantFn
DurumWheatGrain
子類
Plant
and
DurumWheatGrass
(=>
(
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
(
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
容易
(=>
(
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
(=>
(
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
(
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
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
AnimalFat
子類
Object
and
FatTissue
%每個
Object
是
Animal
的
initially
part
(=>
(
subclass
?W
DrinkingWater
)
(
subclass
?W
(
FoodForFn
Human
)))
Geography.kif 2815-2818
子類
Class
and
飲用水
子類
Class
and
food
for
Human
(=>
(
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
(
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
(=>
(
subclass
?X ?Y)
(
and
(
instance
?X
Class
)
(
instance
?Y
Class
)))
Merge.kif 137-141
子類
Class
and
Class
例
Class
and
Class
例
Class
and
Class
(=>
(
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
(
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
(
subclass
?X ?Y)
(
instance
?Z ?X))
(
instance
?Z ?Y))
Merge.kif 143-147
子類
Class
and
Class
例
Entity
and
Class
例
Entity
and
Class
(=>
(
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
(
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
在一起
(=>
(
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
(
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
(=>
(
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
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
子類
Class
and
WindowsOS
例
Entity
and
Class
微軟
created
Entity
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
子類
Object
and
ButterFat
%每個
Object
是
奶
的
initially
part
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
等於
生物製劑
and
球孢子菌絲蟲
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
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
(=>
(
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
種類
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
子類
Class
and
Android
例
Entity
and
Class
Alphabet公司
created
Entity
(=>
(
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
(
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
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Object
子類
OrganicObject
and
Organism
子類
OrganicObject
and
AnatomicalStructure
(=>
(
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
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
咖啡豆
子類
Object
and
種子
%每個
Object
是
CoffeePlant
的
initially
part
(=>
(
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
(
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
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
等於
Plant
and
PlantFn
Mint
子類
Plant
and
HerbaceousPlant
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
報紙
持有期間
TimePosition
and
attribute
entity
and
報紙出版社
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
Suet
子類
Object
and
FatTissue
%每個
Object
是
牛
的
initially
part
%每個
Object
是
羊
的
initially
part
(=>
(
and
(
organizationServiceType
?BUSINESS ?TYPE)
(
subclass
?TYPE ?GENUS))
(
organizationServiceType
?BUSINESS ?GENUS))
Economy.kif 1667-1671
IntentionalProcess
是
Organization
的
organization
服務類別類
子類
IntentionalProcess
and
IntentionalProcess
IntentionalProcess
是
Organization
的
organization
服務類別類
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
可可豆
子類
Object
and
種子
%每個
Object
是
可可樹
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
MapleWood
子類
Object
and
PlantStem
%每個
Object
是
MapleTree
的
initially
part
(=>
(
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
(
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
的專業知識
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
桿菌肽
例
DiseaseOrSyndrome
and
細菌性疾病
子類
Process
and
Putting
(=>
(
habitatOfOrganism
?O ?L)
(
not
(
subclass
?O
DomesticAnimal
)))
Mid-level-ontology.kif 30397-30400
Organism
inhabits
GeographicArea
子類
Organism
and
家畜
(=>
(
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
(
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
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 351-357
範圍子類
Function
and
Class
範圍子類
Function
and
Class
子類
Class
and
Class
子類
Class
and
Class
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21036-21043
attribute
Object
and
醫生
Process
Process
子類
Process
and
DiagnosticProcess
子類
Process
and
TherapeuticProcess
能力
Process
,
agent
and
Object
能力
Process
,
agent
and
Object
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 324-330
範圍
Function
and
Class
範圍
Function
and
Class
子類
Class
and
Class
子類
Class
and
Class
(=>
(
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
(
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
(=>
(
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
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3203-3205
SymbolicString
是在
Language
的
title
對於
Class
的例子
子類
Class
and
Collection
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
小羊皮
子類
Object
and
皮膚
%每個
Object
是
羔羊
的
initially
part
(=>
(
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
(
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
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
WoodProduct
子類
Object
and
PlantStem
Object
子類
Object
and
植物樹
%每個
Object
是
Object
的
initially
part
(=>
(
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
?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
(=>
(
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
可能性
(=>
(
diseaseMedicine
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1288-1290
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
口服抗生素
子類
Process
and
Ingesting
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Periodical
持有期間
TimePosition
and
attribute
entity
and
定期出版商
(=>
(
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
(
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
可能性
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
等於
Plant
and
PlantFn
Broccoli
子類
Plant
and
CabbagePlant
(=>
(
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
(
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
在一起
(=>
(
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
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
茶樹空中部分
子類
Object
and
PlantStem
%每個
Object
是
TeaPlant
的
initially
part
(=>
(
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
植物解剖結構
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
等於
Plant
and
PlantFn
Cilantro
子類
Plant
and
HerbaceousPlant
(=>
(
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
(=>
(
instance
?CLASS
Class
)
(
subclass
?CLASS
Entity
))
Merge.kif 828-830
例
Class
and
Class
子類
Class
and
Entity
(=>
(
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
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
子類
Object
and
PlantLeaf
等於
Object
and
綠葉蔬菜
%每個
Object
是
Plant
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BirchWood
子類
Object
and
PlantStem
%每個
Object
是
BirchTree
的
initially
part
(=>
(
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
(
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
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
BiologicallyActiveSubstance
and
BiologicallyActiveSubstance
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
等於
生物製劑
and
serratia marcenscens
的
biological
agent
子類
生物製劑
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
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23988-23990
子類
Process
and
Fertilisation
能力
Process
,
患者
and
Organism
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
例
GeopoliticalArea
and
內陸地區
子類
海事索賠區
and
海事索賠區
海事索賠區
是
GeopoliticalArea
的
maritime
要求類型
(=>
(
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
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
子類
Object
and
水果
等於
Object
and
茄子
%每個
Object
是
EggplantPlant
的
initially
part
(=>
(
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
美國美元
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
等於
Plant
and
PlantFn
Blueberry
子類
Plant
and
灌木
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
子類
Object
and
PlantLeaf
等於
Object
and
捲心菜
%每個
Object
是
CabbagePlant
的
initially
part
(=>
(
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
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
例
Catalog
and
WineMenu
Entity
是在
Catalog
子類
Entity
and
WineMenu
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
等於
Plant
and
PlantFn
EmmerWheatGrain
子類
Plant
and
EmmerWheatGrass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
等於
Plant
and
PlantFn
EinkornWheatGrain
子類
Plant
and
EinkornWheatGrass
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
等於
生物製劑
and
蜱傳腦炎病毒
的
biological
agent
子類
生物製劑
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
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OilFromPlant
子類
Object
and
種子
子類
Object
and
水果
Object
子類
Object
and
FloweringPlant
%每個
Object
是
Object
的
initially
part
(=>
(
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
(
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
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5109-5112
Object
子類
Object
and
HandToolBox
manufacturer
Object
and
SortimoCorp
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