attribute
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 12537-12547
属性
は
オブジェクト
の
attribute
では %n
属性
は
Fingerprint
の
instance
では %n
オブジェクト
は
Finger
の
instance
では
属性
R
オブジェクト
オブジェクト
は
属性
R の
instrument
では %n
オブジェクト
は
Finger
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
属性
R の
patient
では %n
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17332-17345
属性
は
オブジェクト
の
attribute
では %n
属性
は
主観評価属性
の
instance
では %n
時間位置
工程
and
AutonomousAgent
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
属性
は
オブジェクト
の
attribute
では %n は
工程
の
result
では %n
AutonomousAgent
は
オブジェクト
には
attribute
属性
%n{ない} を
believe
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17688-17697
Monochromatic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
属性
は
原色
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 286-297
属性
は
AutonomousAgent
の
attribute
では %n
属性
は
CommissionedOfficerRank
の
instance
では %n
工程
オブジェクト
工程
は
管理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
MilitaryOrganization
の
instance
では %n
Soldier
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19443-19453
Stressed
は
オブジェクト
の
attribute
では %n
オブジェクト
は
単語
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
2
オブジェクト
2 は
Syllable
の
instance
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
Stressed
は
オブジェクト
2 の
attribute
では %n
オブジェクト
2 は
オブジェクト
と
equal
では
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
GeometricFigure
は
オブジェクト
の
attribute
では %n
オブジェクト
は
FourPosterBed
の
instance
では %n
GeometricFigure
は
Quadrilateral
の
instance
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
OneDimensionalFigure
は
OneDimensionalFigure
と
equal
では
オブジェクト
オブジェクト
,
GeometricPoint
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Floor
の
instance
では %n
オブジェクト
は
On
対
オブジェクト
では %n
オブジェクト
は
Vertical
対
オブジェクト
では %n
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25687-25696
属性
は
オブジェクト
の
attribute
では %n
属性
は
TemperatureAttribute
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
オブジェクト
の
measure
は
オブジェクト
では %n
オブジェクト
は
温度測定
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26594-26602
Historical
は
オブジェクト
の
attribute
では %n
オブジェクト
は
都市
の
instance
では %n
オブジェクト
オブジェクト
は
物理
の
instance
では %n
Historical
は
オブジェクト
の
attribute
では %n
eventLocated
オブジェクト
and
オブジェクト
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
RoomCleaningService
を
agent
として行う
capable
では %n
認識エージェント
オブジェクト
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
Maid
は
認識エージェント
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
part
では %n
オブジェクト
は
RoomCleaningService
を
patient
として行う
capable
では %n
認識エージェント
は
RoomCleaningService
を
serviceProvider
として行う
capable
では %n
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1452-1457
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
エンティティー
は
Casino
の
instance
では %n
CasinoHotels
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
Gas
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
沸騰
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
時間間隔
and
整数
時間間隔
は
分
の
instance
では %n
整数
整数
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
整数
の
agent
では %n
時間間隔
は
整数
の
time
の existence の
during
に takes %n{ない}
HumanAdult
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
整数
は 16 より
greater
では %n
整数
は 12 より
less
では %n
Healthy
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
directed
人[人間]
and
映画
工程
は
FilmMaking
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
leader
AutonomousAgent
and
人[人間]
AutonomousAgent
は
工程
の
agent
では %n
映画
は
工程
の
result
では %n
FilmDirector
は
人[人間]
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1780-1788
オブジェクト
は
AttrFn
オブジェクト
and
属性
と
equal
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
fulfillingEntity
?AGENT ?RESERVE)
(
instance
?RESERVE
HotelReservation
))
(
attribute
?AGENT
TravelerAccommodation
))
Hotel.kif 2847-2851
fulfillingEntity
AutonomousAgent
and
Reservation
Reservation
は
HotelReservation
の
instance
では %n
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
ステートメント
PostExertionalMalaise
は
AutonomousAgent
の
attribute
では %n は
時間間隔
2 の
during
holds %n{ない}
工程
の
time
の existence は
時間間隔
2 より
earlier
happens %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
が
Dead
は
エンティティー
の
attribute
では %n を
desire
s %n{ない} は
時間間隔
の
during
holds %n{ない}
AutonomousAgent
URDER は
Murder
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
URDER の
agent
では %n
エンティティー
は
AutonomousAgent
URDER の
patient
では %n
時間間隔
は
AutonomousAgent
URDER の
time
の existence より
earlier
happens %n{ない}
Premeditated
は
AutonomousAgent
URDER の
attribute
では %n
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
時間間隔
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
causesProposition
fears
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない} and
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
本
の
subclass
では %n
BookPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
MusicalComposition
の
subclass
では %n
MusicPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
Newspaper
の
subclass
では %n
NewspaperPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
周期的
の
subclass
では %n
PeriodicalPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
テキスト
の
subclass
では %n
InformationIndustries
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
BankCard
は
ExpiredCard
の
instance
では %n は
時間位置
の
during
holds %n{ない}
cardAccount
BankCard
and
FinancialAccount
ActiveAgreement
は
BankCard
の
attribute
では は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
工程
は
Aborting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Woman
の
instance
では %n
Pregnant
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Pregnant
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
end
の
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