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
工程
は
工程
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
工程
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
experimentalVariableProcess
Experimenting
and
工程
エンティティー
_GROUP
エンティティー
_GROUP は
コレクション
の
instance
では %n
工程
は
エンティティー
_GROUP の
member
では %n
treatmentGroup
エンティティー
_GROUP and
Experimenting
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?WATCH ?AGENT)
(
patient
?WATCH ?OBJ))
(
inScopeOfInterest
?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
工程
は
WatchItem
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
は
エンティティー
に
interested
が %n
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
AutonomousAgent
は
記号文字列
の
name
を 持って %n{ない}
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
agentName
記号文字列
and
AutonomousAgent
(=>
(
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 30255-30266
エンティティー
は
AutonomousAgent
の
instance
では
Motionless
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
motion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
subjectiveAttribute
AutonomousAgent
,
属性
and
AutonomousAgent
属性
は
FoodRating
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
工程
and
工程
工程
は
料理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
工程
は
分類
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
属性
は
工程
の
patient
では %n
(=>
(
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
subjectiveAttribute
AutonomousAgent
,
属性
and
AutonomousAgent
属性
は
ServiceRating
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
工程
工程
は
ServiceProcess
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
分類
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
に
end
s %n{ない}
属性
は
工程
の
patient
では %n
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
地域
and
自己接続オブジェクト
自己接続オブジェクト
は
AutonomousAgent
の
subclass
では %n
オブジェクト
は
自己接続オブジェクト
の
instance
では %n
capableAtLocation
Translocation
,
agent
,
オブジェクト
and
地域
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
オブジェクト
は
AutonomousAgent
の
instance
では %n
オブジェクト
は
社会的交流
を
agent
として行う
capable
では %n
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
オブジェクト
は
AutonomousAgent
の
instance
では %n
工程
オブジェクト
は
工程
を
agent
として行う
capable
では %n
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