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
Entit�
est une
instance
de
ReadOnlyMemoryDataStorage
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
d�veloppement de contenu
entit�
est une
instance
de
DeletingData
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
stored
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
n' %n{pas} la
force
modale
de
Possibility
(=>
(
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
Objet
est une
instance
de
substance
Insoluble
est un
attribut
de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
substance
entit�
est une
instance
de
solution
objet
est une
pi
�ce de
entit�
entit�
est une
pi
�ce de
entit�
n' %n{pas} la
force
modale
de
Possibility
(=>
(
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
Objet
est une
instance
de
substance
Soluble
est un
attribut
de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
substance
entit�
est une
instance
de
solution
objet
est une
pi
�ce de
entit�
entit�
est une
pi
�ce de
entit�
a la
force
modale
de
Possibility
(=>
(
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
Objet
est une
instance
de
WhirlpoolTub
DoubleSize
est un
attribut
de
objet
l'argument
entit�
entit�
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
humain
entit�
est
entit�
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
entit�
a la
force
modale
de
Possibility
(=>
(
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
artefact stationnaire
and
nombre entier
entit�
est une
instance
de
artefact stationnaire
entit�
est un
appartenir
�
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
GroupOfPeople
memberCount
entit�
and
entit�
entit�
est plus
petit
ou �gal �
nombre entier
stays
entit�
and
entit�
a la
force
modale
de
Possibility
(=>
(
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
abstrait
abstrait
est une
instance
de
attribut
l'argument
entit�
entit�
entit�
est une
instance
de
vendre
abstrait
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Possibility
(=>
(
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
entit�
and
Catalog
entit�
est une
sous
-classe de
physique
l'argument
entit�
entit�
entit�
est une
instance
de
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
a la
force
modale
de
Possibility
(=>
(
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
entit�
and
Catalog
entit�
est une
sous
-classe de
proposition
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
entit�
entit�
exprime
le contenu de
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Possibility
(=>
(
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
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
HumanChild
organisme
est une
instance
de
HumanBaby
l'argument
entit�
entit�
est une
instance
de
ChildCareService
organisme
desire
entit�
a la
force
modale
de
Possibility
(=>
(
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
a un
attribute
Contract
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
agent cognitif
processus
exprime
le contenu de
proposition
consistent
proposition
and
Agreement
l'argument
entit�
entit�
est une
instance
de
action l�gale
plaintiff
entit�
and
agent cognitif
defendant
entit�
and
agent cognitif
a la
force
modale
de
Possibility
(=>
(
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
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
HotelUnit
entit�
est un
appartenir
�
entit�
entit�
est un
agent
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
Possibility
(=>
(
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
objet
and
physique
objet
est une
instance
de
pi�ce
objet
est une
instance
de
physique
objet
est
Outside
�
objet
l'argument
entit�
entit�
entit�
est une
instance
de
humain
entit�
est
situ
� �
objet
entit�
est une
instance
de
voir
objet
est un
patient
de
entit�
entit�
est un
agent
de
entit�
a la
force
modale
de
Possibility
(=>
(
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
est un
attribut
de
objet
l'argument
entit�
entit�
and
objet
BJ
entit�
est une
instance
de
lumi�re irradiante
entit�
est une
resource
pour
entit�
entit�
aboutit
�
objet
BJ
objet
est
entre
entit�
et
objet
BJ
Illuminated
est un
attribut
de
objet
BJ
pendant
temps
d'existence de
entit�
a la
force
modale
de
Possibility
(=>
(
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
est un
attribut
de
objet
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
aboutit
�
entit�
entit�
est
entre
objet
et
entit�
a la
force
modale
de
Possibility
(=>
(
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
est un
attribut
de
objet
objet
processus
and
entit�
objet
est une
instance
de
Lock
objet
est
connect
� �
objet
processus
est une
instance
de
Closing
objet
est un
patient
de
processus
entit�
est une
instance
de
d�palcement
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
Locked
est un
attribut
de
objet
l'argument
objet
est un
patient
de
entit�
n' %n{pas} la
force
modale
de
Possibility
pendant
temps
d'existence de
Locked
est un
attribut
de
objet
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
Objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
l'argument
entit�
entit�
est une
instance
de
processus
r�le d�pendant du cas
entit�
and
objet
a la
force
modale
de
Possibility
(=>
(
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
r�gion
,
proposition
and
nombre entier
r�gion
d
�finie
proposition
l'argument
entit�
entit�
entit�
est une
instance
de
GroupOfPeople
memberCount
entit�
and
entit�
entit�
est plus
petit
ou �gal �
nombre entier
entit�
est
situ
� �
r�gion
a la
force
modale
de
Possibility
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
humain
and
maladie ou syndrome
maladie ou syndrome
OC
maladie ou syndrome
OC
croit
l'argument
maladie ou syndrome
est un
attribut
de
humain
a la
force
modale
de
Possibility
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
Interval temporel
est
temps
d'existence de
stored
entit�
and
entit�
l'argument
entit�
entit�
est un
patient
de
entit�
a la
force
modale
de
Possibility
pendant
interval temporel
(=>
(
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
physique
and
objet
l'argument
entit�
entit�
est une
instance
de
endommager
objet
est un
patient
de
entit�
involvedInEvent
entit�
and
physique
physique
cause
entit�
a la
force
modale
de
Possibility
(=>
(
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
Entit�
est une
instance
de
IntensiveCareUnit
stays
entit�
and
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
mort
temps
d'existence de
entit�
finit
position temporel
a la
force
modale
de
Possibility
(=>
(
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
Processus
est une
instance
de
Disappearing
entit�
AutonomousAgent
,
processus
and
position temporel
processus
est une
instance
de
Searching
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
temps
d'existence de
processus
l'argument
processus
ISC
processus
ISC est une
instance
de
Discovering
processus
ISC est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
ISC n' %n{pas} la
force
modale
de
Possibility
pendant
position temporel
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
Entit�
est une
instance
de
Exhaust
l'argument
entit�
est
capable
de faire
voir
dans le r�le
patient
a la
force
modale
de
Possibility
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
Entit�
est une
instance
de
Exhaust
l'argument
entit�
est
capable
de faire
voir
dans le r�le
patient
a la
force
modale
de
Possibility
(=>
(
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
Entit�
est une
instance
de
PlantSpinoseStructure
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
Inserting
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
animal
entit�
est un
patient
de
entit�
entit�
cause
entit�
entit�
est une
instance
de
Pain
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
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