represents
(=>
(
instance
?ACCOUNT
HistoricalAccount
)
(
exists
(?EVENT)
(
and
(
represents
?ACCOUNT ?EVENT)
(
earlier
(
WhenFn
?EVENT)
(
WhenFn
?ACCOUNT)))))
Mid-level-ontology.kif 14887-14892
物理
は
HistoricalAccount
の
instance
では %n
物理
物理
は
物理
を
express
es %n{ない}
物理
の
time
の existence は
物理
の
time
の existence より
earlier
happens %n{ない}
(=>
(
instance
?ACTION
UserDirectAction
)
(
exists
(?SIG_ACTION)
(
and
(
represents
?ACTION ?SIG_ACTION)
(
instance
?SIG_ACTION
UserSignifiedAction
))))
ComputerInput.kif 1211-1216
エンティティー
は
UserDirectAction
の
instance
では %n
エンティティー
_ACTION
エンティティー
は
エンティティー
_ACTION を
express
es %n{ない}
エンティティー
_ACTION は
UserSignifiedAction
の
instance
では %n
(=>
(
instance
?AD
AnimalDoll
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
represents
?AD ?A))))
Mid-level-ontology.kif 2409-2414
エンティティー
は
AnimalDoll
の
instance
では %n
エンティティー
エンティティー
は
動物
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?AD
HumanDoll
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
represents
?AD ?H))))
Mid-level-ontology.kif 2420-2425
エンティティー
は
HumanDoll
の
instance
では %n
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?BM
BestMatchAlgorithm
)
(
hasPurpose
?BM
(
exists
(?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT)
(
patient
?BM ?QUERY)
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJECT)
(
agent
?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2301-2312
物理
は
BestMatchAlgorithm
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
SearchQuery
の
instance
では %n
エンティティー
は
SearchAttempt
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
物理
の
patient
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
ContentBearingPhysical
は
BusinessRequirementDocument
の
instance
では %n
命題
認識エージェント
and
公式
命題
は
計画
の
instance
では %n
認識エージェント
は
Business
の
instance
では %n
公式
は
工程
の
instance
では %n
命題
は
公式
を
express
es %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?C
Compass
)
(
exists
(?D)
(
and
(
instance
?D
DirectionalAttribute
)
(
represents
?C ?D))))
Mid-level-ontology.kif 2264-2269
エンティティー
は
Compass
の
instance
では %n
エンティティー
エンティティー
は
方向属性
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?COMMUNICATE
LinguisticCommunication
)
(
exists
(?OBJ)
(
and
(
represents
?COMMUNICATE ?OBJ)
(
instance
?OBJ
LinguisticExpression
)
(
patient
?COMMUNICATE ?OBJ))))
Merge.kif 13130-13136
工程
は
LinguisticCommunication
の
instance
では %n
エンティティー
工程
は
エンティティー
を
express
es %n{ない}
エンティティー
は
言語表現
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
instance
?COMPACT
Agreement
)
(
exists
(?COMM)
(
and
(
instance
?COMM
Committing
)
(
represents
?COMM ?COMPACT))))
Mid-level-ontology.kif 13965-13970
エンティティー
は
Agreement
の
instance
では %n
エンティティー
エンティティー
は
委託
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?CP
ComputerProtocol
)
(
hasPurpose
?CP
(
exists
(?P1 ?P2 ?C)
(
and
(
instance
?P1
ComputerProgram
)
(
instance
?P2
ComputerProgram
)
(
instance
?C
DataTransfer
)
(
origin
?C ?P1)
(
destination
?C ?P2)
(
represents
?CP ?C)))))
ComputingBrands.kif 1736-1746
物理
は
コンピュータプロトコル
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
コンピュータープログラム
の
instance
では %n
エンティティー
は
コンピュータープログラム
の
instance
では %n
エンティティー
は
DataTransfer
の
instance
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
物理
は
エンティティー
を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
エンティティー
は
Doll
の
instance
では %n
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?FORMULA ?RESULT)
(
and
(
instance
?RESULT
Formula
)
(
result
?EXPERIMENT ?RESULT)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
represents
(
ProbabilityFn
?FORMULA) ?RESULT))))
UXExperimentalTerms.kif 3800-3810
工程
は
Experimenting
の
instance
では %n
公式
エンティティー
エンティティー
は
公式
の
instance
では %n
エンティティー
は
工程
の
result
では %n
公式
は
公式
の
instance
では %n
公式
は
工程
の
patient
では %n
公式
の
probability
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?F
FolderIcon
)
(
hasPurpose
?F
(
exists
(?CD)
(
and
(
instance
?CD
ComputerDirectory
)
(
represents
?F ?CD)))))
ComputingBrands.kif 3015-3021
物理
は
folder
の
instance
では %n
物理
は
エンティティー
エンティティー
は
ComputerDirectory
の
instance
では %n
物理
は
エンティティー
を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?G
GUIDock
)
(
exists
(?I ?P ?CP)
(
and
(
instance
?CP
ComputerProgram
)
(
programRunning
?P ?CP)
(
instance
?I
Icon
)
(
represents
?I ?P)
(
orientation
?I ?G
Inside
))))
ComputingBrands.kif 2544-2552
オブジェクト
は
ドック
の
instance
では %n
オブジェクト
ComputerProcess
and
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
オブジェクト
は
アイコン
の
instance
では %n
オブジェクト
は
ComputerProcess
を
express
es %n{ない}
オブジェクト
は
Inside
対
オブジェクト
では %n
(=>
(
instance
?GAME
VideoGame
)
(
exists
(?VIDEO)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?VIDEO ?GAME))))
Mid-level-ontology.kif 25876-25881
エンティティー
は
VideoGame
の
instance
では %n
エンティティー
エンティティー
は
VideoRecording
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
AcrossVariableAccumulator
)
(
exists
(?C)
(
and
(
instance
?C
CapacitorElement
)
(
represents
?M ?C))))
engineering.kif 536-541
エンティティー
は
AcrossVariableAccumulator
の
instance
では %n
エンティティー
エンティティー
は
CapacitorElement
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
Dissipator
)
(
exists
(?R)
(
and
(
instance
?R
ResistorElement
)
(
represents
?M ?R))))
engineering.kif 836-841
エンティティー
は
Dissipator
の
instance
では %n
エンティティー
エンティティー
は
ResistorElement
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?C)
(
and
(
instance
?C
CapacitorElement
)
(
represents
?M ?C))))
engineering.kif 543-548
エンティティー
は
ElectricalTwopole
の
instance
では %n
エンティティー
エンティティー
は
CapacitorElement
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?C)
(
and
(
instance
?C
InductorElement
)
(
represents
?M ?C))))
engineering.kif 561-566
エンティティー
は
ElectricalTwopole
の
instance
では %n
エンティティー
エンティティー
は
InductorElement
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
ElectricalTwopole
)
(
exists
(?R)
(
and
(
instance
?R
ResistorElement
)
(
represents
?M ?R))))
engineering.kif 843-848
エンティティー
は
ElectricalTwopole
の
instance
では %n
エンティティー
エンティティー
は
ResistorElement
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
Map
)
(
exists
(?A)
(
and
(
instance
?A
GeographicArea
)
(
represents
?M ?A))))
Mid-level-ontology.kif 13288-13293
エンティティー
は
Map
の
instance
では %n
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
ThroughVariableAccumulator
)
(
exists
(?I)
(
and
(
instance
?I
InductorElement
)
(
represents
?M ?I))))
engineering.kif 554-559
エンティティー
は
ThroughVariableAccumulator
の
instance
では %n
エンティティー
エンティティー
は
InductorElement
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?M
Twoport
)
(
exists
(?T)
(
and
(
instance
?T
Transducer
)
(
represents
?M ?T))))
engineering.kif 592-597
エンティティー
は
Twoport
の
instance
では %n
エンティティー
エンティティー
は
Transducer
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?MO
MilitaryOperation
)
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
represents
?PLAN ?MO))))
Military.kif 25-30
エンティティー
は
MilitaryOperation
の
instance
では %n
エンティティー
エンティティー
は
計画
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?OBJ
ContentBearingPhysical
)
(
exists
(?THING)
(
represents
?OBJ ?THING)))
Merge.kif 1311-1314
エンティティー
は
ContentBearingPhysical
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
を
express
es %n{ない}
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