AutonomousAgent
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?TREATMENT_GROUP)
(
and
(
instance
?TREATMENT_GROUP
Collection
)
(
member
?AGENT ?TREATMENT_GROUP)
(
treatmentGroup
?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3968-3979
例
Process
and
Process
例
試驗
and
試驗
例
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
Process
在
試驗
的
process
entity
_GROUP
例
entity
_GROUP and
Collection
會員
Process
and
entity
_GROUP
entity
_GROUP 是
treatment
group
在
試驗
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?WATCH ?AGENT)
(
patient
?WATCH ?OBJ))
(
inScopeOfInterest
?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
例
Process
and
WatchItem
例
CognitiveAgent
and
AutonomousAgent
例
Entity
and
Object
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
在感興趣的範圍內
CognitiveAgent
and
Entity
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
名
SymbolicString
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
AutonomousAgent
的
name
是
SymbolicString
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30243-30254
例
Entity
and
AutonomousAgent
持有期間
TimeInterval
and
attribute
Entity
and
Motionless
Process
例
Process
and
Motion
患者
Process
and
Entity
期間
何時
Process
and
TimeInterval
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3062-3075
AutonomousAgent
believes
AutonomousAgent
是
Attribute
例
Attribute
and
FoodRating
例
AutonomousAgent
and
AutonomousAgent
Entity
Process
and
Process
例
Process
and
Cooking
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
例
Process
and
Classifying
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
患者
Process
and
Attribute
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
ServiceRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?SVC ?CLASSIFY)
(
and
(
instance
?SVC
ServiceProcess
)
(
agent
?SVC ?ENTITY)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?SVC)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3091-3103
AutonomousAgent
believes
AutonomousAgent
是
Attribute
例
Attribute
and
ServiceRating
例
AutonomousAgent
and
AutonomousAgent
Process
Process
例
Process
and
服務
agent
Process
and
AutonomousAgent
例
Process
and
Classifying
agent
Process
and
AutonomousAgent
目的地
Process
and
Process
患者
Process
and
Attribute
(=>
(
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
在一起
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13037-13039
例
Object
and
AutonomousAgent
能力
SocialInteraction
,
agent
and
Object
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
例
Object
and
AutonomousAgent
Process
能力
Process
,
agent
and
Object
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