Possibility
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
エンティティー
は
ReadOnlyMemoryDataStorage
の
instance
では %n
工程
は
製造
の
instance
では %n
エンティティー
は
工程
の
result
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
コンテンツ開発
の
instance
では %n
エンティティー
は
DeletingData
の
instance
では %n
工程
の
time
の existence は
エンティティー
の
time
の existence より
earlier
happens %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
stored
エンティティー
and
エンティティー
は
エンティティー
の
time
の existence の すぐ
after
の
during
holds %n{ない} には
Possibility
の
modal
force
が ない %p{ある}
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
オブジェクト
は
物質
の
instance
では %n
Insoluble
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
物質
の
instance
では %n
エンティティー
は
溶液
の
instance
では %n
オブジェクト
は
エンティティー
の
piece
では %n
エンティティー
は
エンティティー
の
piece
では %n には
Possibility
の
modal
force
が ない %p{ある}
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
オブジェクト
は
物質
の
instance
では %n
Soluble
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
物質
の
instance
では %n
エンティティー
は
溶液
の
instance
では %n
オブジェクト
は
エンティティー
の
piece
では %n
エンティティー
は
エンティティー
の
piece
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
オブジェクト
は
WhirlpoolTub
の
instance
では %n
DoubleSize
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
オブジェクト
に
located
して %n は
エンティティー
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
固定アーチファクト
and
整数
エンティティー
は
固定アーチファクト
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
stays
エンティティー
and
エンティティー
には
Possibility
の
modal
force
が ある
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
offers
AutonomousAgent
and
抽象的な
抽象的な
は
属性
の
instance
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
抽象的な
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
物理
の
subclass
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
販売
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
命題
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
物
は
物
の
parent
では %n
物
は
HumanChild
の
instance
では %n
物
は
HumanBaby
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
ChildCareService
の
instance
では %n
物
が
エンティティー
を
desire
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
Agreement
には
attribute
Contract
%n{ない}
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
工程
は
意図的なプロセス
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
命題
の内容を
express
es %n{ない}
consistent
命題
and
Agreement
ステートメント
エンティティー
エンティティー
は
訴訟
の
instance
では %n
plaintiff
エンティティー
and
認識エージェント
defendant
エンティティー
and
認識エージェント
には
Possibility
の
modal
force
が ある
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
エンティティー
は
エンティティー
の
belongings
の
element
%n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
オブジェクト
and
物理
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
Outside
対
オブジェクト
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
見ること
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
Translucent
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
and
オブジェクト
BJ
エンティティー
は
放射光
の
instance
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
オブジェクト
BJ に
end
s %n{ない}
オブジェクト
は
エンティティー
と
オブジェクト
BJ の
between
では %n
Illuminated
は
オブジェクト
BJ の
attribute
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15124-15133
Transparent
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
見ること
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
オブジェクト
と
エンティティー
の
between
では %n には
Possibility
の
modal
force
が ある
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
Locked
は
オブジェクト
の
attribute
では %n
オブジェクト
工程
and
エンティティー
オブジェクト
は
Lock
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
工程
は
Closing
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
エンティティー
は
motion
の
instance
では %n
工程
の
time
の existence は
Locked
は
オブジェクト
の
attribute
では %n の
time
の existence より
earlier
happens %n{ない} ステートメント
オブジェクト
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ない %p{ある} は
Locked
は
オブジェクト
の
attribute
では %n の
time
の existence の
during
holds %n{ない}
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
ステートメント
エンティティー
エンティティー
は
工程
の
instance
では %n
格役割
エンティティー
and
オブジェクト
には
Possibility
の
modal
force
が ある
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
capacityByArrangement
地域
,
命題
and
整数
地域
は
命題
を
express
es %n{ない}
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
エンティティー
は
地域
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
人[人間]
and
病気または症候群
病気または症候群
OC
病気または症候群
OC は ステートメント
病気または症候群
は
人[人間]
の
attribute
では %n には
Possibility
の
modal
force
が ある を
believe
s %n{ない}
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
時間間隔
は
stored
エンティティー
and
エンティティー
の
time
の existence と
equal
では %n
ステートメント
エンティティー
エンティティー
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ある は
時間間隔
の
during
holds %n{ない}
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
物理
and
オブジェクト
ステートメント
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
involvedInEvent
エンティティー
and
物理
物理
は
エンティティー
を
cause
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
エンティティー
は
IntensiveCareUnit
の
instance
では %n
stays
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
を
finish
es %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
工程
は
Disappearing
の
instance
では %n
エンティティー
AutonomousAgent
,
工程
and
時間位置
工程
は
Searching
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
工程
の
time
の existence の
part
では %n ステートメント
工程
ISC
工程
ISC は
Discovering
の
instance
では %n
AutonomousAgent
は
工程
ISC の
agent
では %n
エンティティー
は
工程
ISC の
patient
では %n には
Possibility
の
modal
force
が ない %p{ある} は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
エンティティー
は
Exhaust
の
instance
では %n
ステートメント
エンティティー
は
見ること
を
patient
として行う
capable
では %n には
Possibility
の
modal
force
が ある
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
エンティティー
は
Exhaust
の
instance
では %n
ステートメント
エンティティー
は
見ること
を
patient
として行う
capable
では には
Possibility
の
modal
force
が ある
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
エンティティー
は
PlantSpinoseStructure
の
instance
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Inserting
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
動物
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
Pain
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} には
Possibility
の
modal
force
が ある
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