result
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
工程
は
PsychologicalOperation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
エンティティー
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
result
では %n
AutonomousAgent
が
エンティティー
を
desire
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26299-26315
オブジェクト
は
Photocopier
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
Photocopying
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
オブジェクト
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
オブジェクト
に
located
して %n
オブジェクト
は
PrintedSheet
の
instance
では %n
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
物理
は
SurveillanceSystem
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
Camera
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
equal
では
コレクション
は
VideoDisplay
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
express
es %n{ない}
Camera
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
放射光
の
instance
では %n
コレクション
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない}
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない} の 目的 %n{ない}
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1806-1811
measuringResult
MeasuringList
and
MeasuringResultList
工程
は
MeasuringList
の
エンティティー
element
と
equal
では %n
エンティティー
は
MeasuringResultList
の
エンティティー
element
と
equal
では %n
エンティティー
は
工程
の
result
では %n
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 12211-12220
secretesSubstance
有機物
and
NaturalSubstance
オブジェクト
は
有機物
の
instance
では %n
工程
エンティティー
工程
は
生物学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
工程
の
result
では %n
エンティティー
は
NaturalSubstance
の
instance
では %n
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
クラス
は
Newspaper
の
subclass
では %n
時間位置
は
週
の
instance
では %n
工程
エンティティー
工程
は
出版
の
instance
では %n
工程
の
time
の existence は
時間位置
の
part
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
クラス
の
instance
では %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
(=>
(
attribute
?F
CuredAttribute
)
(
exists
(?C)
(
and
(
instance
?C
CuringFood
)
(
result
?C ?F))))
Food.kif 70-75
CuredAttribute
は
オブジェクト
の
attribute
では %n
工程
工程
は
CuringFood
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
(=>
(
attribute
?F
DryRoastAttribute
)
(
exists
(?X)
(
and
(
instance
?X
DryRoasting
)
(
result
?X ?F))))
Food.kif 114-119
DryRoastAttribute
は
オブジェクト
の
attribute
では %n
工程
工程
は
DryRoasting
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
(=>
(
attribute
?F
HulledAttribute
)
(
exists
(?X)
(
and
(
instance
?X
Hulling
)
(
result
?X ?F))))
Food.kif 160-165
HulledAttribute
は
オブジェクト
の
attribute
では %n
工程
工程
は
Hulling
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC1 ?PROC2)
(
and
(
instance
?PROC1
Cooking
)
(
instance
?PROC2
Heating
)
(
subProcess
?PROC2 ?PROC1)
(
result
?PROC1 ?FOOD))))
Food.kif 37-44
CookedAttribute
は
オブジェクト
の
attribute
では %n
工程
工程
工程
は
料理
の
instance
では %n
工程
は
加熱
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
工程
の
result
では %n
(=>
(
attribute
?FOOD
FermentedAttribute
)
(
exists
(?F)
(
and
(
instance
?F
Fermentation
)
(
result
?F ?FOOD))))
Food.kif 211-216
FermentedAttribute
は
オブジェクト
の
attribute
では %n
工程
工程
は
Fermentation
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
(=>
(
attribute
?FOOD
RawAttribute
)
(
not
(
exists
(?PROC)
(
and
(
instance
?PROC
Heating
)
(
result
?PROC ?FOOD)))))
Food.kif 55-61
RawAttribute
は
オブジェクト
の
attribute
では %n
工程
工程
は
加熱
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
(=>
(
attribute
?H
Potter
)
(
exists
(?M ?P)
(
and
(
instance
?P
Pottery
)
(
instance
?M
Making
)
(
agent
?M ?H)
(
result
?M ?P))))
Mid-level-ontology.kif 20867-20874
Potter
は
AutonomousAgent
の
attribute
では %n
工程
エンティティー
エンティティー
は
Pottery
の
instance
では %n
工程
は
作る
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
ThemeRoom
は
オブジェクト
の
attribute
では %n
工程
エンティティー
工程
は
Designing
の
instance
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
エンティティー
を
express
es %n{ない}
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
AeronauticalEngineer
は
AutonomousAgent
の
attribute
では %n
工程
AutonomousAgent
は
工程
をする
skill
が %n{ない}
工程
工程
は
工程
の
instance
では %n
工程
エンティティー
and
工程
T
工程
は
作る
の
instance
では %n
エンティティー
は
Aircraft
の
instance
では %n
エンティティー
は
工程
T の
instance
では %n
typicalPart
工程
T and
Aircraft
エンティティー
は
工程
の
result
では %n
工程
は
工程
% の
subprocess
では %n
工程
工程
LAN,
エンティティー
and
工程
T
工程
は
Designing
の
instance
では %n
エンティティー
は
Aircraft
の
instance
では %n
エンティティー
は
工程
T の
instance
では %n
typicalPart
工程
T and
Aircraft
工程
LAN は
工程
の
result
では %n
工程
LAN は
エンティティー
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
attribute
?X
Fodder
)
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
OrganicObject
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Mid-level-ontology.kif 20041-20050
Fodder
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
は
Harvesting
の
instance
では %n
オブジェクト
は
エンティティー
の
result
では %n
オブジェクト
は
有機物
の
instance
では %n
オブジェクト
は
FoodForFn
DomesticAnimal
の
instance
では %n の 目的 %n{ない}
(=>
(
attribute
?X
ForageCrop
)
(
hasPurpose
?X
(
exists
(?A)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
instance
?X
Plant
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Economy.kif 4809-4818
ForageCrop
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
は
Agriculture
の
instance
では %n
オブジェクト
は
エンティティー
の
result
では %n
オブジェクト
は
植物
の
instance
では %n
オブジェクト
は
FoodForFn
DomesticAnimal
の
instance
では %n の 目的 %n{ない}
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
MeanOfProduction
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
作る
の
instance
では %n
involvedInEvent
エンティティー
and
オブジェクト
オブジェクト
は
エンティティー
の
result
では
エンティティー
は
アーチファクト
の
instance
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
エンティティー
エンティティー
は
CommercialService
の
instance
では %n
involvedInEvent
エンティティー
and
オブジェクト
の 目的 %n{ない}
(=>
(
attribute
?X
TourArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TourReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
Hotel.kif 2336-2346
TourArrangementAndReservationServices
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
TourReservation
の
instance
では %n
エンティティー
は
意図的なプロセス
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
attribute
?X
TravelArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TravelReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
naics.kif 10451-10461
TravelArrangementAndReservationServices
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
TravelReservation
の
instance
では %n
エンティティー
は
意図的なプロセス
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
attribute
?X
Writer
)
(
exists
(?OBJ ?PROC)
(
and
(
instance
?PROC
Writing
)
(
or
(
instance
?OBJ
Text
)
(
instance
?OBJ
Document
))
(
agent
?PROC ?X)
(
result
?PROC ?OBJ))))
Biography.kif 717-726
Writer
は
AutonomousAgent
の
attribute
では %n
エンティティー
工程
工程
は
執筆
の
instance
では %n
エンティティー
は
テキスト
の
instance
では %n
エンティティー
は
Document
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15466-15472
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
工程
エンティティー
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
工程
の
result
では %n
(=>
(
composer
?A ?M)
(
exists
(?C)
(
and
(
instance
?C
Creation
)
(
agent
?C ?A)
(
result
?C ?M))))
Music.kif 148-154
composer
認識エージェント
and
MusicalComposition
工程
工程
は
創造
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
MusicalComposition
は
工程
の
result
では %n
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20808-20814
constructionPeriod
固定アーチファクト
and
時間間隔
エンティティー
エンティティー
は
構築
の
instance
では %n
固定アーチファクト
は
エンティティー
の
result
では %n は
時間間隔
の
during
holds %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