or
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet organique
est une
sous
-classe de
organisme
objet organique
est une
sous
-classe de
structure anatomique
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Suet
objet
est une
sous
-classe de
tissu gras
initialPart
objet
and
Cattle
initialPart
objet
and
Sheep
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CherryWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BlackCherryTree
initialPart
objet
and
SweetCherryTree
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
TemporaryResidence
est une
instance
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
TemporaryResidence
AutonomousAgent
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
est un
agent
de
humain
physique
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
physique
est une
resource
pour
entit�
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
est une
instance
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
est
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Trou
est un
trou
dans
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
trou
recouvre
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
or
(
instance
?ITEM
WebListing
)
(
instance
?ITEM
WebPage
)))
UXExperimentalTerms.kif 2483-2489
Entit�
est un
membre
de
liste
liste
est une
instance
de
SRPResults
entit�
est une
instance
de
WebListing
entit�
est une
instance
de
WebPage
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processus
est une
instance
de
Anesthetizing
entit�
est un
patient
de
processus
inconscient
est un
attribut
de
entit�
Pain
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 11531-11538
Objet
est une
instance
de
animal
objet
est une
instance
de
AnimalShell
objet
est une
partie
de
objet
objet
est une
instance
de
invertebr�
objet
est une
instance
de
reptile
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processus
est une
instance
de
Accelerating
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
,
nombre r�el
,
nombre r�el
,
entit�
and
entit�
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
Processus
est une
instance
de
ing�rer
objet
est une
resource
pour
processus
objet
est une
instance
de
FoodForFn
organisme
objet
est une
instance
de
Medicine
(=>
(
and
(
instance
?ACT
OrganizationalProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
Organization
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG)))))
Merge.kif 10540-10549
Processus
est une
instance
de
processus organisationnel
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
collection
collection
est une
instance
de
organisation
AutonomousAgent
est un
membre
de
collection
(=>
(
and
(
instance
?ACT
ReligiousProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
ReligiousOrganization
)
(
exists
(?ORG)
(
and
(
member
?AGENT ?ORG)
(
instance
?ORG
ReligiousOrganization
)))))
Merge.kif 10562-10571
Processus
est une
instance
de
processus religieux
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation religieuse
collection
AutonomousAgent
est un
membre
de
collection
collection
est une
instance
de
organisation religieuse
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
AutonomousAgent
est une
instance
de
AutonomousAgent
ElectionFn
AutonomousAgent
est une
sous
-classe de
Election
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Objet
est une
instance
de
Airport
LongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 2438
nombre r�el
est plus
petit
ou �gal � 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Objet
est une
instance
de
Airport
MediumLengthRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1524
nombre r�el
est plus
petit
ou �gal � 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Objet
est une
instance
de
Airport
ShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 914
nombre r�el
est plus
petit
ou �gal � 1523
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
Processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
attribut de forme
entit�
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
Processus
est une
instance
de
changement de surface
objet
est un
patient
de
processus
objet
entit�
objet
est une partie
superficielle
de
objet
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?ATTR
MusicGenre
)
(
attribute
?A ?ATTR))
(
or
(
instance
?A
MakingMusic
)
(
instance
?A
MusicRecording
)))
Music.kif 511-517
Attribut
est une
instance
de
MusicGenre
attribut
est un
attribut
de
objet
objet
est une
instance
de
MakingMusic
objet
est une
instance
de
MusicRecording
(=>
(
and
(
instance
?Account
CheckingAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
or
(
exists
(?Check)
(
and
(
instance
?Check
Check
)
(
instrument
?Transaction ?Check)))
(
exists
(?DebitCard)
(
and
(
instance
?DebitCard
DebitCard
)
(
instrument
?Transaction ?DebitCard)))))
FinancialOntology.kif 1129-1142
FinancialAccount
est une
instance
de
CheckingAccount
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
objet
objet
est une
instance
de
Check
objet
est un
instrument
pour
processus
objet
objet
est une
instance
de
DebitCard
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
entit�
objet
and
objet
entit�
est une
instance
de
objet
objet
est une
instance
de
Trachea
objet
est une
instance
de
Lung
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
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