Likely
(容易)
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
例
Process
and
Spamming
結果
Process
and
Process
PAM
例
Process
and
Spam
例
Entity
and
Human
目的地
Process
and
Entity
模態屬性
想要
Entity
and
Process
PAM and
容易
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
例
Process
and
說話
例
Object
and
Jaw
agent
Process
and
AutonomousAgent
部分
Object
and
AutonomousAgent
模態屬性
entity
例
entity
and
BodyMotion
objectTransferred
entity
and
Object
期間
何時
entity
and
何時
Process
and
容易
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
例
Entity
and
PlantStem
例
Entity
and
植物根
模態屬性
方位
Entity
,
Entity
and
以上
and
容易
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
例
TimeInterval
and
TimePeriod
持續時間
TimeInterval
and
測量
RealNumber
and
分鐘
比較多
RealNumber
and 5.0
例
Entity
and
Human
Process
例
Process
and
Breathing
期間
何時
Process
and
TimeInterval
患者
Process
and
Entity
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
Entity
短暫相遇
TimeInterval
and
何時
entity
and
容易
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
例
Transfer
and
Vending
objectTransferred
Transfer
and
Object
例
Object
and
貨幣
模態屬性
例
Object
and
food
for
Human
例
Object
and
Beverage
and
容易
(=>
(
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
容易
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
例
Process
and
泣
體驗者
Process
and
AutonomousAgent
模態屬性
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Sadness
and
容易
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
例
Process
and
Weightlifting
agent
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
無氧運動裝置
儀器
Process
and
entity
and
容易
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
例
Object
and
Buffet
attribute
Object
and
Breakfast
模態屬性
entity
會員
entity
and
Object
attribute
entity
and
Breakfast
and
容易
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Breakfast
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
BreakfastTime
)))
Likely
))
Food.kif 1706-1716
例
Object
and
Meal
attribute
Object
and
Breakfast
例
Process
and
Eating
患者
Process
and
Object
模態屬性
entity
期間
何時
Process
and
entity
例
entity
and
BreakfastTime
and
容易
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Dinner
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
DinnerTime
)))
Likely
))
Food.kif 1793-1803
例
Object
and
Meal
attribute
Object
and
Dinner
例
Process
and
Eating
患者
Process
and
Object
模態屬性
entity
期間
何時
Process
and
entity
例
entity
and
DinnerTime
and
容易
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Lunch
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
LunchTime
)))
Likely
))
Food.kif 1776-1786
例
Object
and
Meal
attribute
Object
and
Lunch
例
Process
and
Eating
患者
Process
and
Object
模態屬性
entity
期間
何時
Process
and
entity
例
entity
and
LunchTime
and
容易
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
持有期間
TimeInterval
and
attribute
entity
and
Concussion
持有期間
TimeInterval
and
attribute
entity
and
Concussion
短暫相遇
TimeInterval
and
TimeInterval
模態屬性
持有期間
開始
TimeInterval
and
attribute
entity
and
Unconscious
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
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
PricingScheme
是
valid
during
TimeInterval
持有期間
TimeInterval
and
模態屬性
例
entity
and
Selling
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
CurrencyMeasure
是
entity
的
transaction
總額
and
容易
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
CognitiveAgent
sells
Entity
對於
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
測量
RealNumber
and
UnitOfMeasure
PricingScheme
是
valid
對於
AutonomousAgent
例
Entity
and
Entity
例
Process
and
Buying
立即實例
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
起源
Process
and
CognitiveAgent
少於
RealNumber
and
RealNumber
模態屬性
RealNumber
是
Process
的
transaction
總額 and
容易
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
Reservation
starts
在
TimePoint
Reservation
ends
在
TimePoint
AutonomousAgent
reserves
Reservation
AutonomousAgent
fulfills
Reservation
模態屬性
持有期間
時間間隔
TimePoint
and
TimePoint
and
entity
例
entity
and
IntentionalProcess
agent
entity
and
AutonomousAgent
目的地
entity
and
AutonomousAgent
and
容易
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
Reservation
是對於
Proposition
的
reservation
Reservation
reserves
Reservation
模態屬性
entity
實現
entity
and
Proposition
體驗者
entity
and
Reservation
and
容易
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
HotelReservation
是對於
HotelUnit
的
reservation
Reservation
starts
在
HotelReservation
Reservation
ends
在
HotelReservation
HotelReservation
reserves
Reservation
模態屬性
持有期間
時間間隔
Reservation
and
Reservation
and
entity
例
entity
and
HotelUnit
Reservation
stays
在
entity
and
容易
(=>
(
and
(
roastedToTemperature
?B ?T)
(
instance
?B
CoffeeBean
)
(
instance
?T
RealNumber
))
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
DryRoasting
)
(
patient
?R ?B)))
Likely
))
Food.kif 479-488
roastedToTemperature
Food
and
RealNumber
例
Food
and
咖啡豆
例
RealNumber
and
RealNumber
模態屬性
entity
例
entity
and
DryRoasting
患者
entity
and
Food
and
容易
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
子類
Class
and
Tissue
子類
Class
and
Tissue
例
Object
and
Class
例
Object
and
Class
例
Object
and
Human
部分
Object
and
Object
部分
Object
and
Object
等於
Class
and
Class
子類
Class
and
Class
子類
Class
and
Class
方位
Object
,
Object
and
鄰
模態屬性
entity
例
entity
and
ConnectiveTissue
之間
Object
,
entity
and
Object
and
容易
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
使用者
AutonomousAgent
在
WebSite
是
watching
Collection
例
Process
and
WebListing
例
Entity
and
Object
患者
Process
and
Entity
會員
Process
and
Collection
模態屬性
慾望
AutonomousAgent
and
entity
例
entity
and
Buying
患者
entity
and
Entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20535-20543
workLocation
Organization
and
StationaryArtifact
會員
AutonomousAgent
and
Organization
例
Process
and
工作的
agent
Process
and
AutonomousAgent
模態屬性
位於
Process
and
StationaryArtifact
and
容易
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
approximateValue
RealNumber
and
RealNumber
模態屬性
等於
RealNumber
and
RealNumber
and
容易
(=>
(
attribute
?H
Pyelonephritis
)
(
modalAttribute
(
exists
(?B ?K)
(
and
(
instance
?B
Bacterium
)
(
instance
?K
Kidney
)
(
part
?K ?H)
(
located
?B ?K)))
Likely
))
Medicine.kif 5065-5074
attribute
Object
and
Pyelonephritis
模態屬性
entity
entity
例
entity
and
Bacterium
例
entity
and
腎
部分
entity
and
Object
位於
entity
and
entity
and
容易
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners