agent
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
AutonomousAgent
是
CognitiveAgent
的
customer
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
Porter
擁有
CognitiveAgent
and
Object
例
Object
and
旅行集裝箱
Object
Process
例
Object
and
HotelUnit
例
Process
and
攜帶
agent
Process
and
CognitiveAgent
目的地
Process
and
Object
起源
Process
and
Object
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Object
例
Entity
and
Physical
賦予權利
entity
例
entity
and
Process
資源
entity
and
Entity
儀器
entity
and
Entity
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
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
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1347-1358
工程子組件
EngineeringComponent
and
互聯網
工程子組件
EngineeringComponent
and
互聯網
等於
EngineeringComponent
and
EngineeringComponent
有目的
互聯網
and
entity
例
entity
and
Communication
agent
entity
and
EngineeringComponent
目的地
entity
and
EngineeringComponent
儀器
entity
and
互聯網
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
等於
測量
RealNumber
and
McgPerKg
and
MassMeasure
是
MassMeasure
的
per
等於
MassMeasure
and
測量
RealNumber
and
微
公克
等於
MassMeasure
and
測量
RealNumber
and
千
公克
Process
SelfConnectedObject
and
SelfConnectedObject
例
Process
and
Ingesting
例
SelfConnectedObject
and
BiologicallyActiveSubstance
例
SelfConnectedObject
and
Organism
患者
Process
and
SelfConnectedObject
agent
Process
and
SelfConnectedObject
MassMeasure
是
SelfConnectedObject
的
weight
MassMeasure
是
SelfConnectedObject
的
weight
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
Collection
是在
WebSite
的
first
time
buyers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
期間
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
Collection
是在
WebSite
的
first
time
buyers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
早期
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
Collection
是在
WebSite
的
first
time
sellers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
期間
何時
FinancialTransaction
and
TimeInterval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
Collection
是在
WebSite
的
first
time
sellers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
早期
何時
FinancialTransaction
and
TimeInterval
(=>
(
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
(
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
(
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
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
AVPUVerbalStatus
例
Process
and
說話
目的地
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
Process
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
原因
Process
and
Process
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
撤離者
例
TimeInterval
and
TimeInterval
Process
AutonomousAgent
例
Process
and
疏散
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
軍事組織
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
TimeInterval
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
例
Process
and
Apologizing
agent
Process
and
Process
G
目的地
Process
and
AutonomousAgent
Process
CT
AutonomousAgent
suffers
從
Process
CT
agent
Process
CT and
Process
G
持有期間
何時
Process
and
想要
Process
G and
Process
CT
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
例
AutonomousAgent
and
AutonomousAgent
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Motionless
Process
例
Process
and
BodyMotion
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
(=>
(
and
(
instance
?A
MedicalPerson
)
(
attribute
?C ?A))
(
hasPurpose
?C
(
exists
(?TP)
(
and
(
instance
?TP
TherapeuticProcess
)
(
agent
?TP ?C)))))
Medicine.kif 6338-6346
例
Attribute
and
MedicalPerson
attribute
Object
and
Attribute
有目的
Object
and
entity
例
entity
and
TherapeuticProcess
agent
entity
and
Object
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ELECTION
(
ElectionFn
?AGENT)))
(
agent
?ELECTION ?AGENT))
Government.kif 1700-1704
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
AutonomousAgent
的
election
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AGREEMENT
InternationalAgreement
)
(
instance
?COMMITTING
Committing
)
(
represents
?COMMITTING ?AGREEMENT))
(
exists
(?AGENT)
(
and
(
agent
?COMMITTING ?AGENT)
(
instance
?AGENT
Nation
))))
Geography.kif 3001-3009
例
Entity
and
國際協議
例
Process
and
Committing
代表
Process
and
Entity
AutonomousAgent
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Nation
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
例
Process
and
走動
例
Process
and
步進
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
例
Process
and
走動
例
Process
and
步進
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
例
Process
and
伏擊
agent
Process
and
AutonomousAgent
Process
例
Process
and
隱瞞
子過程
Process
and
Process
有目的
Process
and
entity
例
entity
and
攻擊
agent
entity
and
AutonomousAgent
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
例
AutonomousAgent
and
Animal
例
Attribute
and
DiseaseOrSyndrome
attribute
AutonomousAgent
and
Attribute
Transfer
Object
例
Transfer
and
BiologicalProcess
例
Transfer
and
Removing
起源
Transfer
and
AutonomousAgent
例
Object
and
污水
agent
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
例
Process
and
航空攝影偵察
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
拍攝
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
例
Process
and
兩棲偵察
agent
Process
and
AutonomousAgent
Process
子過程
Process
and
Process
例
Process
and
登陸水域
agent
Process
and
AutonomousAgent
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