attribute
(=>
(
and
(
attribute
?PERSON ?ATTRIBUTE)
(
instance
?ATTRIBUTE
SocialRole
))
(
instance
?PERSON
Human
))
Merge.kif 17266-17270
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
r�le social
objet
est une
instance
de
humain
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2215-2219
SupremeCourtJudge
est un
attribut
de
agent cognitif
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
est une
instance
de
SupremeCourt
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21023-21029
Professor
est un
attribut
de
humain
humain
occupe la
position
de
Professor
�cole
teacher
humain
and
�cole
�cole
est une
instance
de
PostSecondarySchool
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
imm�diate de
classe
classe
est une
sous
-classe de
HotelUnit
physique
nombre r�el
,
nombre r�el
and
unit� de mesure
physique
est une
instance
imm�diate de
classe
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
mot
objet
est une
partie
de
objet
objet
2
objet
2 est une
instance
de
Syllable
objet
2 est une
partie
de
objet
Stressed
est un
attribut
de
objet
2
objet
2 est
objet
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18905-18909
Teacher
est un
attribut
de
humain
humain
occupe la
position
de
humain
�cole
teacher
humain
and
�cole
(=>
(
and
(
attribute
?TRANS ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?TRANS
FinancialTransaction
))
UXExperimentalTerms.kif 1637-1641
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AccountAttribute
objet
est une
instance
de
financial transaction
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30092-30100
Uninhabited
est un
attribut
de
objet
objet
est une
instance
de
r�gion
organisme
organisme
est une
instance
de
humain
organisme
vie
�
objet
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
AmbienceAttribute
))
(
instance
?X
Physical
))
Dining.kif 1066-1070
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AmbienceAttribute
objet
est une
instance
de
physique
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
BedAttribute
))
(
instance
?X
Bed
))
Mid-level-ontology.kif 4102-4106
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
BedAttribute
objet
est une
instance
de
Bed
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
SizeAttribute
))
(
instance
?X
Object
))
Mid-level-ontology.kif 25321-25325
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
SizeAttribute
objet
est une
instance
de
objet
(=>
(
and
(
attribute
?X ?HEMI)
(
instance
?HEMI
HemisphereFigure
))
(
exists
(?Y)
(
and
(
instance
?Y
Sphere
)
(
half
?X ?Y))))
Mid-level-ontology.kif 26548-26555
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
HemisphereFigure
objet
objet
est une
instance
de
Sphere
half
objet
and
objet
(=>
(
and
(
attribute
?X ?M)
(
instance
?M
Musician
))
(
hasSkill
MusicalPerformance
?X))
Mid-level-ontology.kif 22192-22196
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
Musician
AutonomousAgent
a la
capacit
� de faire
MusicalPerformance
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
FourPosterBed
GeometricFigure
est une
instance
de
Quadrilateral
le
taille
de
GeometricFigure
est
OneDimensionalFigure
le
taille
de
GeometricFigure
est
OneDimensionalFigure
OneDimensionalFigure
est
OneDimensionalFigure
objet
objet
,
GeometricPoint
and
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Floor
objet
est
On
�
objet
objet
est
Vertical
�
objet
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
est un
attribut
de
objet
objet
rencontre
objet
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
Cuisine
))
(
instance
?X
PreparedFood
))
Dining.kif 1262-1266
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Cuisine
objet
est une
instance
de
PreparedFood
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelLevelAttribute
))
(
and
(
instance
?X
BuildingLevel
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
HotelBuilding
)
(
part
?X ?BLDG)))))
Hotel.kif 1207-1216
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
HotelLevelAttribute
objet
est une
instance
de
BuildingLevel
objet
objet
est une
instance
de
HotelBuilding
objet
est une
partie
de
objet
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelRoomAttribute
))
(
instance
?X
HotelUnit
))
Hotel.kif 978-982
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
HotelRoomAttribute
objet
est une
instance
de
HotelUnit
(=>
(
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
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
TemperatureAttribute
objet
est une
instance
de
objet
objet
la
mesure
de
objet
est
objet
objet
est une
instance
de
mesure de temperature
attribut
est un
attribut
de
objet
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
Table
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
GroupOfPeople
eventLocated
processus
and
objet
l'argument
entit�
entit�
and
objet
2
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
AutonomousAgent
est
entit�
entit�
est une
instance
de
GroupOfPeople
eventLocated
entit�
and
objet
2
temps
d'existence de
processus
rencontre
temps
d'existence de
entit�
objet
est
objet
2 a la
force
modale
de
Possibility
(=>
(
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
est un
attribut
de
agent cognitif
agent cognitif
est une
instance
de
TransportationCompany
ServiceProcess
objet
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
eventLocated
ServiceProcess
and
objet
objet
est une
instance
de
plan d'eau
agent cognitif
est
situ
� �
NorthAmerica
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
DutyFree
est un
attribut
de
objet
objet
est une
instance
de
produit
processus
processus
est une
instance
de
DutyTax
objet
est un
patient
de
processus
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
Store
secteur g�opolitique
entit�
,
objet
and
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
objet
est
situ
� �
secteur g�opolitique
objet
est une
sous
-classe de
objet
importCommodityType
secteur g�opolitique
and
objet
entit�
est une
instance
de
objet
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
processus
est
situ
� �
objet
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
ville
objet
objet
est une
instance
de
physique
Historical
est un
attribut
de
objet
eventLocated
objet
and
objet
(=>
(
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
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Speaking
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
SpokenHumanLanguage
entit�
est une
instance
de
SpokenHumanLanguage
entit�
est
entit�
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
a la
force
modale
de
Possibility
(=>
(
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
est un
attribut
de
objet
objet
est une
instance
de
fruit ou v�g�tal
objet
a pour
but
entit�
entit�
est une
instance
de
Harvesting
objet
est le
resultat
de
entit�
objet
est une
instance
de
FoodForFn
humain
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