attribute
(=>
(
and
(
attribute
?PERSON ?ATTRIBUTE)
(
instance
?ATTRIBUTE
SocialRole
))
(
instance
?PERSON
Human
))
Merge.kif 17266-17270
属性
は
オブジェクト
の
attribute
では %n
属性
は
社会的役割
の
instance
では %n
オブジェクト
は
人[人間]
の
instance
では %n
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2215-2219
SupremeCourtJudge
は
認識エージェント
の
attribute
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
SupremeCourt
の
instance
では %n
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21023-21029
Professor
は
人[人間]
の
attribute
では %n
人[人間]
は
教育組織
の
Professor
の
position
を holds %n{ない}
teacher
人[人間]
and
教育組織
教育組織
は
PostSecondarySchool
の
instance
では %n
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
Oversized
は
オブジェクト
の
attribute
では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
クラス
は
HotelUnit
の
subclass
では %n
物理
実数
,
実数
and
測定単位
物理
は
クラス
の
immediate
の インスタンス では %n
測定単位
は
UnitOfArea
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
面積測定
の
instance
では %n
実数
は
面積測定
の
instance
では %n
実数
は
実数
より
greater
では %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 19442-19452
Stressed
は
オブジェクト
の
attribute
では %n
オブジェクト
は
単語
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
2
オブジェクト
2 は
Syllable
の
instance
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
Stressed
は
オブジェクト
2 の
attribute
では %n
オブジェクト
2 は
オブジェクト
と
equal
では
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18905-18909
Teacher
は
人[人間]
の
attribute
では %n
人[人間]
は
教育組織
の
人[人間]
の
position
を holds %n{ない}
teacher
人[人間]
and
教育組織
(=>
(
and
(
attribute
?TRANS ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?TRANS
FinancialTransaction
))
UXExperimentalTerms.kif 1637-1641
属性
は
オブジェクト
の
attribute
では %n
属性
は
AccountAttribute
の
instance
では %n
オブジェクト
は
金融取引
の
instance
では %n
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30092-30100
Uninhabited
は
オブジェクト
の
attribute
では %n
オブジェクト
は
地域
の
instance
では %n
物
物
は
人[人間]
の
instance
では %n
物
は
オブジェクト
に
live
s %n{ない}
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
AmbienceAttribute
))
(
instance
?X
Physical
))
Dining.kif 1066-1070
属性
は
オブジェクト
の
attribute
では %n
属性
は
AmbienceAttribute
の
instance
では %n
オブジェクト
は
物理
の
instance
では %n
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
BedAttribute
))
(
instance
?X
Bed
))
Mid-level-ontology.kif 4102-4106
属性
は
オブジェクト
の
attribute
では %n
属性
は
BedAttribute
の
instance
では %n
オブジェクト
は
Bed
の
instance
では %n
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
SizeAttribute
))
(
instance
?X
Object
))
Mid-level-ontology.kif 25321-25325
属性
は
オブジェクト
の
attribute
では %n
属性
は
SizeAttribute
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
(=>
(
and
(
attribute
?X ?HEMI)
(
instance
?HEMI
HemisphereFigure
))
(
exists
(?Y)
(
and
(
instance
?Y
Sphere
)
(
half
?X ?Y))))
Mid-level-ontology.kif 26548-26555
属性
は
オブジェクト
の
attribute
では %n
属性
は
HemisphereFigure
の
instance
では %n
オブジェクト
オブジェクト
は
Sphere
の
instance
では %n
half
オブジェクト
and
オブジェクト
(=>
(
and
(
attribute
?X ?M)
(
instance
?M
Musician
))
(
hasSkill
MusicalPerformance
?X))
Mid-level-ontology.kif 22192-22196
属性
は
AutonomousAgent
の
attribute
では %n
属性
は
Musician
の
instance
では %n
AutonomousAgent
は
MusicalPerformance
をする
skill
が %n{ない}
(=>
(
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
Cuisine
))
(
instance
?X
PreparedFood
))
Dining.kif 1262-1266
属性
は
オブジェクト
の
attribute
では %n
属性
は
Cuisine
の
instance
では %n
オブジェクト
は
PreparedFood
の
instance
では %n
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelLevelAttribute
))
(
and
(
instance
?X
BuildingLevel
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
HotelBuilding
)
(
part
?X ?BLDG)))))
Hotel.kif 1207-1216
属性
は
オブジェクト
の
attribute
では %n
属性
は
HotelLevelAttribute
の
instance
では %n
オブジェクト
は
BuildingLevel
の
instance
では %n
オブジェクト
オブジェクト
は
HotelBuilding
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelRoomAttribute
))
(
instance
?X
HotelUnit
))
Hotel.kif 978-982
属性
は
オブジェクト
の
attribute
では %n
属性
は
HotelRoomAttribute
の
instance
では %n
オブジェクト
は
HotelUnit
の
instance
では %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 25675-25684
属性
は
オブジェクト
の
attribute
では %n
属性
は
TemperatureAttribute
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
オブジェクト
の
measure
は
オブジェクト
では %n
オブジェクト
は
温度測定
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Table
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
AutonomousAgent
は
エンティティー
と
equal
では
エンティティー
は
GroupOfPeople
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s %n{ない}
オブジェクト
は
オブジェクト
2 と
equal
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
DeepSeaCoastalAndGreatLakesWaterTransportation
は
認識エージェント
の
attribute
では %n
認識エージェント
は
TransportationCompany
の
instance
では %n
ServiceProcess
オブジェクト
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
eventLocated
ServiceProcess
and
オブジェクト
オブジェクト
は
水域
の
instance
では %n
認識エージェント
は
NorthAmerica
に
located
して %n
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
DutyFree
は
オブジェクト
の
attribute
では %n
オブジェクト
は
製品
の
instance
では %n
工程
工程
は
DutyTax
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
DutyFree
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Store
の
instance
では %n
地政学的地域
エンティティー
,
オブジェクト
and
工程
地政学的地域
は
地政学的地域
の
instance
では %n
オブジェクト
は
地政学的地域
に
located
して %n
オブジェクト
は
オブジェクト
の
subclass
では %n
importCommodityType
地政学的地域
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
工程
は
販売
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
located
して %n
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26582-26590
Historical
は
オブジェクト
の
attribute
では %n
オブジェクト
は
都市
の
instance
では %n
オブジェクト
オブジェクト
は
物理
の
instance
では %n
Historical
は
オブジェクト
の
attribute
では %n
eventLocated
オブジェクト
and
オブジェクト
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25736-25749
Multilingual
は
AutonomousAgent
の
attribute
では %n
工程
は
Speaking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
SpokenHumanLanguage
の
instance
では %n
エンティティー
は
SpokenHumanLanguage
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4195-4204
Produce
は
オブジェクト
の
attribute
では %n
オブジェクト
は
果物または野菜
の
instance
では %n
オブジェクト
は
エンティティー
エンティティー
は
Harvesting
の
instance
では %n
オブジェクト
は
エンティティー
の
result
では %n
オブジェクト
は
FoodForFn
人[人間]
の
instance
では %n の 目的 %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