located
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
est une
instance
de
MusicalTone
soundFrequency
MusicalTone
and
nombre r�el
Hertz
(s)
loudness
MusicalTone
and
nombre r�el
Decibel
(s)
MusicalTone
est
situ
� � la place
o
�
humain
�tait � le
d
�but de
temps
d'existence de
MusicalTone
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 250 8000 est
plus
grand
que
nombre r�el
humain
est une
instance
de
humain
processus
est une
instance
de
Listening
processus
est un
agent
de
humain
hearingAcuity
humain
,
nombre r�el
Decibel
(s) and
nombre r�el
Decibel
(s)
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
Interval temporel
est une
instance
de
Pulling
interval temporel
a pour
origine
objet
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
AutonomousAgent
LOC
pendant
le
d
�but de
interval temporel
interval temporel
aboutit
�
entit�
entit�
entit�
and
entit�
la
distance
entre
AutonomousAgent
LOC et
entit�
est
entit�
entit�
(s) la
distance
entre
AutonomousAgent
LOC et
objet
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
immediatement
apr
�s le
d
�but de
interval temporel
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
Interval temporel
est une
instance
de
Pushing
interval temporel
a pour
origine
objet
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
AutonomousAgent
LOC
pendant
le
d
�but de
interval temporel
interval temporel
aboutit
�
entit�
entit�
entit�
and
entit�
la
distance
entre
AutonomousAgent
LOC et
entit�
est
entit�
entit�
(s) la
distance
entre
AutonomousAgent
LOC et
objet
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
immediatement
apr
�s le
d
�but de
interval temporel
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
Objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
objet
est une
instance
de
Tropics
nombre r�el
Longitude
,
attribut directionnel
,
nombre r�el
and
unit� de mesure
objectGeographicCoordinates
objet
,
nombre r�el
unit� de mesure
(s) and
Longitude
unit� de mesure
est une
instance
de
UnitOfAngularMeasure
nombre r�el
est
moins
que
nombre r�el
nombre r�el
unit� de mesure
(s) est
LatitudeFn
attribut directionnel
, 23.0
AngularDegree
(s), 26.0
ArcMinute
(s) and 11.5
ArcSecond
(s)
attribut directionnel
est une
instance
de
attribut directionnel
attribut directionnel
est
North
attribut directionnel
est
South
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
acheter
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
GMBFn
collection
est
entit�
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
Objet en une partie
est une
instance
de
RibCage
objet en une partie
est une
partie
de
objet
objet
est une
instance
de
humain
Living
est un
attribut
de
objet
~{
physique
est une
instance
de
processus pathologique
} ~{
physique
est
situ
� �
objet
}
objet
T
objet
objet
T est une
instance
de
Heart
objet
T est une
instance
de
Lung
objet en une partie
contient
objet
objet en une partie
contient
objet
T
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
Physique
est une
instance
de
secteur g�ographique
physique
est
situ
� �
AntarcticArea
position temporel
position temporel
est une
instance
de
jour
Illuminated
est un
attribut
de
physique
pendant
position temporel
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
Physique
est une
instance
de
secteur g�ographique
physique
est
situ
� �
ArcticRegion
position temporel
position temporel
est une
instance
de
jour
Illuminated
est un
attribut
de
physique
pendant
position temporel
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
Processus
est une
instance
de
Stroke
objet
est une
instance
de
Brain
processus
est
situ
� �
objet
physique
processus
physique
est une
instance
de
NerveCell
physique
est
situ
� �
objet
processus
est une
instance
de
destruction
processus
est un
sous
-processus de
processus
physique
est un
patient
de
processus
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
vendre
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_SALE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_SALE_AMOUNT
GMVFn
collection
est
entit�
_SALE_AMOUNT
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
Objet
est une
instance
de
AuditoriumSeat
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Auditorium
objet
est une
instance
de
PerformanceStage
objet
est
situ
� �
objet
objet
est une
instance
de
humain
processus
est une
sous
-classe de
voir
processus
processus
est une
instance
de
processus
objet
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
agent
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
Processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
processus
existe
pendant
position temporel
objet
est
situ
� �
objet
pendant
position temporel
observedAtTimeInPlace
objet
,
AutonomousAgent
,
position temporel
and
objet
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Processus
est une
instance
de
TemperatureFallingExperiencedAsFeelingCold
processus
est
situ
� �
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
croit
ColdTemperature
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Processus
est une
instance
de
TemperatureRisingExperiencedAsFeelingWarm
processus
est
situ
� �
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
croit
WarmTemperature
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
est une
instance
de
Ticket
AutonomousAgent
poss
�de
objet
issuedBy
AutonomousAgent
and
agent cognitif
AmusementGamblingAndRecreationIndustries
est un
attribut
de
agent cognitif
agent cognitif
est
situ
� �
objet
confersNorm
agent cognitif
,
entit�
entit�
est une
instance
de
r�cr�ation ou exercice
objet
exp
�rimente
entit�
eventLocated
entit�
and
objet
and
Permission
(=>
(
and
(
instance
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1637-1641
Physique
est une
instance
de
Tunnel
physique
est
situ
� �
objet
objet
est une
instance
de
UndergroundArea
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
est une
instance
de
SoftwareUnInstallation
interval temporel
est
temps
d'existence de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
est
situ
� �
objet
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
SoftwareInstallation
interval temporel
est
temps
d'existence de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
est
situ
� �
objet
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7068-7077
Objet
est une
instance
de
CommercialUnit
physique
est une
instance
de
organisation
physique
est
situ
� �
objet
physique
physique
est une
instance
de
organisation
physique
est
situ
� �
objet
physique
est
physique
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
Physique
est une
instance
de
Wind
physique
est
situ
� �
objet
interval temporel
est
temps
d'existence de
physique
surfaceWindSpeed
objet
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que 20.0
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
Collection
est une
instance
de
Buffet
physique
est un
membre
de
collection
collection
est
situ
� �
objet
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
eventLocated
processus
and
objet
physique
est un
patient
de
processus
objet
est
objet
processus
processus
est une
instance
de
obtenir
physique
est un
patient
de
processus
processus
a pour
origine
objet
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
se produit
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
Objet
est une
instance
de
FireAlarm
DeviceOn
est un
attribut
de
objet
objet
est
situ
� �
objet
processus
processus
est une
instance
de
son irradiant
objet
est un
instrument
pour
processus
processus
a pour
but
entit�
entit�
est une
instance
de
GroupOfPeople
entit�
est
situ
� �
objet
entit�
conna
�t
entit�
entit�
est une
instance
de
Fire
eventLocated
entit�
and
objet
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 25305-25315
Objet
est une
instance
de
HotTub
physique
est
situ
� �
objet
physique
est une
instance
de
eau
l'argument
entit�
entit�
est une
instance
de
r�chauffer
objet
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
Physique
est une
instance
de
SurveillanceSystem
physique
est un
membre
de
collection
physique
est un
membre
de
collection
collection
est
situ
� �
objet
collection
est une
instance
de
Camera
collection
est
situ
� �
objet
objet
est
objet
collection
est une
instance
de
VideoDisplay
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
eventLocated
entit�
and
objet
entit�
d
�finie
entit�
Camera
est un
instrument
pour
entit�
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
lumi�re irradiante
collection
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
le
d
�but de
entit�
se produit
avant
le
d
�but de
entit�
le
d
�but de
entit�
se produit
avant
le
d
�but de
entit�
(=>
(
and
(
located
?T ?R)
(
instance
?T
Toilet
)
(
instance
?R
Room
))
(
instance
?R
Bathroom
))
Mid-level-ontology.kif 2202-2207
Physique
est
situ
� �
objet
physique
est une
instance
de
Toilet
objet
est une
instance
de
pi�ce
objet
est une
instance
de
Bathroom
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
muscle
and
partie du corps
objet
est une
instance
de
humain
StandardAnatomicalPosition
est un
attribut
de
objet
pendant
interval temporel
Healthy
est un
attribut
de
objet
interval temporel
est une
instance
de
MuscularContraction
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est un
instrument
pour
interval temporel
physicalEnd
objet
and
objet
objet
rencontre
objet
objet
est
situ
� �
entit�
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
entit�
pendant
la
fin
de
interval temporel
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