modalAttribute
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
少於
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
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
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
Object
的
minimum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
少於
RealNumber
ADIUS and
RealNumber
and
較不可能
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
defaultValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
等於
Quantity
and
Entity
and
容易
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
TennisProfessional
CognitiveAgent
是在
AutonomousAgent
的
guest
模態屬性
entity
entity
例
entity
and
Tennis
CognitiveAgent
participates
在
entity
CognitiveAgent
participates
在
entity
位於
entity
and
entity
位於
AutonomousAgent
and
entity
and
可能性
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
entity
原因
Process
and
entity
CognitiveAgent
suffers
從
entity
and
可能性
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
採用
AutonomousAgent
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
agent
Process
and
CognitiveAgent
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
CognitiveAgent
ROC
原因
Process
and
CognitiveAgent
ROC
CognitiveAgent
suffers
從
CognitiveAgent
ROC and
容易
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
內燃機
and
RotationFn
測量
RealNumber
and
MilesPerHour
and
TimeDuration
例
Object
and
汽車
例
Process
and
GasPedal
例
Process
and
Pushing
目的地
Process
and
Object
部分
內燃機
and
Object
部分
Object
and
Object
例
Object
and
Crankshaft
部分
Object
and
內燃機
持有期間
何時
Process
and
測量
Object
and
RotationFn
測量
entity
and
MilesPerHour
and
TimeDuration
模態屬性
比較多
entity
and
RealNumber
and
容易
(=>
(
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
?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
容易
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
AutonomousAgent
provides
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Entity
and
Object
慾望
CognitiveAgent
and
entity
例
entity
and
IntentionalProcess
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
模態屬性
賦予權利
使用
Entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
and
可能性
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
Physical
的使用對於
HotelFunctionRoom
是免費
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
子類
Physical
and
Object
模態屬性
entity
entity
例
entity
and
Physical
例
entity
and
Process
資源
entity
and
entity
儀器
entity
and
entity
患者
entity
and
entity
agent
entity
and
Entity
體驗者
entity
and
Entity
and
可能性
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
%2 是 1% 的
government
類別
例
Organism
and
Human
例
Organism
and
Human
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
家庭關係
Organism
and
Organism
早期
TimeInterval
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
and
可能性
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
CognitiveAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
deviceAccount
用戶帳號
and
電腦
知道
CognitiveAgent
and
用戶帳號
有
password
電腦密碼
知道
CognitiveAgent
and
recoveryKey
entity
and
用戶帳號
擁有
CognitiveAgent
and
電腦
模態屬性
entity
例
entity
and
ChangingPassword
患者
entity
and
用戶帳號
agent
entity
and
CognitiveAgent
and
可能性
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
持有期間
TimePosition
and
attribute
entity
and
EmotionalState
actionTendency
EmotionalState
and
EmotionalBehavioralProcess
模態屬性
entity
例
entity
and
EmotionalBehavioralProcess
期間
何時
entity
and
TimePosition
體驗者
entity
and
entity
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
持有期間
TimeInterval
and
attribute
Human
and
Menopausal
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
RealNumber
and
加成
49 and
Integer
等於
RealNumber
and
加成
52 and
Integer
等於
TimePoint
and
開始
TimeInterval
模態屬性
比較多
TimePoint
and
RealNumber
比較多
RealNumber
and
TimePoint
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
持有期間
TimePosition
and
attribute
Object
and
ImpairedBodyPartFn
Class
例
Class
I and
Class
部分
Class
I and
Object
有目的
Class
I and
Formula
模態屬性
Formula
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
例
Process
and
RecreationOrExercise
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
PostExertionalMalaise
早期
何時
Process
and
TimeInterval
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
持有期間
Physical
and
attribute
EngineeringComponent
and
啟動中
持有期間
Physical
and
attribute
EngineeringComponent
and
準備好主持
等於
Physical
and
眼前的未來
何時
Physical
例
EngineeringComponent
and
ComputerDisplay
連接的工程組件
EngineeringComponent
and
EngineeringComponent
模態屬性
entity
例
entity
and
主頁面
entity
是在
EngineeringComponent
displayed
and
容易
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
持有期間
TimePosition
and
測量
Object
and
FunctionQuantity
engineIdleSpeed
內燃機
and
FunctionQuantity
例
Object
and
汽車
部分
內燃機
and
Object
部分
Object
and
內燃機
模態屬性
entity
entity
期間
entity
and
TimePosition
例
entity
and
Pushing
目的地
entity
and
entity
部分
entity
and
Object
and
容易
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
例
Process
and
Anaphylaxis
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
AutonomousAgent
原因
Process
and
entity
and
可能性
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
例
Object
and
AntibodyCOVIDTest
儀器
Process
and
Object
例
Process
and
Measuring
患者
Process
and
Object
例
Object
and
COVIDAntibody
部分
Object
and
Object
模態屬性
知道
Object
and
Object
例
Object
and
COVIDAntibody
部分
Object
and
Object
and
容易
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
例
AutonomousAgent
and
Biped
例
Process
and
走動
agent
Process
and
AutonomousAgent
模態屬性
entity
entity
例
entity
and
腿
例
entity
and
腿
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
儀器
Process
and
entity
儀器
Process
and
entity
and
容易
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
例
Process
and
RheumatoidArthritis
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
JointPain
原因
Process
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