ImmediateFutureFn
(=>
(
and
(
resourceExhausted
?P ?R)
(
instance
?R ?C))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
not
(
exists
(?OBJ1)
(
and
(
part
?OBJ1 ?R)
(
instance
?OBJ1 ?C))))))
Merge.kif 2537-2546
resourceExhausted
Processo
and
Objeto
Objeto
e' uma
instancia
de
Classe
Entidade
Entidade
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Classe
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
Doenca ou Sindrome
,
Substancia Biologica Ativa
and
Processo
Entidade
Posicao Temporal
,
Entidade
and
Entidade
Doenca ou Sindrome
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Processo
tempo
de existencia de
Entidade
e' uma &parte de
Posicao Temporal
Entidade
experimenta
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Substancia Biologica Ativa
aumenta
a probabilidade de
Doenca ou Sindrome
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOn
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOff
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOn
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
menos
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOff
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
menos
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
Covid19
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
e' uma
instancia
de
COVIDAntibody
Entidade
e' uma &parte de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
Sleepy
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
deseja
Dormindo
e' um
atributo
de
Agente Cognitivo
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
e' um
atributo
de
Objeto
vale
durante
Objeto
IME
AutonomousAgent
Processo
and
Transferencia
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Bleeding
Transferencia
e' uma
instancia
de
Colar
AutonomousAgent
experimenta
Processo
Transferencia
termina
em
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
Objeto
tem por
fim
Processo
2
Processo
2 e' uma
instancia
de
Bleeding
imediatemente
apos
tempo
de existencia de
Transferencia
engloba
tempo
de existencia de
Processo
2
AutonomousAgent
experimenta
Processo
2
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
confersNorm
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
nao %n a
forca
modal
de
Entidade
vale
durante imediatemente
antes
de
Posicao Temporal
o argumento
Entidade
tem a
forca
modal
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4022-4031
deprivesNorm
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
tem a
forca
modal
de
Entidade
vale
durante imediatemente
antes
de
Posicao Temporal
o argumento
Entidade
nao %n a
forca
modal
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
instance
?BA
BleedingAir
)
(
hasPurpose
?BA
(
exists
(?FC ?A)
(
and
(
instance
?FC
FluidContainer
)
(
instance
?A
Air
)
(
holdsDuring
(
ImmediatePastFn
?BA)
(
contains
?FC ?A))
(
holdsDuring
(
ImmediateFutureFn
?BA)
(
not
(
contains
?FC ?A)))))))
Cars.kif 1519-1529
Fisico
e' uma
instancia
de
BleedingAir
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
FluidContainer
Entidade
e' uma
instancia
de
Air
Entidade
contem
Entidade
vale
durante imediatemente
antes
de
Fisico
Entidade
nao
contem
%n
Entidade
vale
durante imediatemente
apos
Fisico
(=>
(
instance
?C
Clotting
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
attribute
?B
Liquid
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
attribute
?B
Solid
)))))
Mid-level-ontology.kif 10498-10510
Fisico
e' uma
instancia
de
Clotting
Entidade
Entidade
e' uma
instancia
de
Sangue
Liquid
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Solid
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
(=>
(
instance
?C
Coronation
)
(
exists
(?PERSON ?PLACE)
(
and
(
instance
?PERSON
Human
)
(
patient
?C ?PERSON)
(
instance
?PLACE
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
chiefOfState
?PLACE
Monarch
?PERSON)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
chiefOfState
?PLACE
Monarch
?PERSON)))))
Government.kif 1375-1390
Processo
e' uma
instancia
de
Coronation
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area Geopolitica
chiefOfState
Entidade
,
Monarch
and
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
chiefOfState
Entidade
,
Monarch
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
Processo
e' uma
instancia
de
FoodDistributionOperation
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e' uma
instancia
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
possui
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
Fisico
e' uma
instancia
de
FindMyIPhone
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
AppleIPhone
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
nao
sabe
%n
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Entidade
Entidade
sabe
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
(=>
(
instance
?I
Inflating
)
(
exists
(?G1 ?G2 ?V1 ?V2 ?S ?U)
(
and
(
instance
?G1 ?S)
(
instance
?G2 ?S)
(
instance
?S
Substance
)
(
attribute
?G1
Gas
)
(
attribute
?G2
Gas
)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
measure
?G1
(
MeasureFn
?V1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
measure
?G2
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1))))
Cars.kif 3606-3622
Fisico
e' uma
instancia
de
Inflating
Objeto
Objeto
,
Numero Real
,
Numero Real
,
Classe
and
Entidade
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Classe
e' uma
instancia
de
Substancia
Gas
e' um
atributo
de
Objeto
Gas
e' um
atributo
de
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Numero Real
e'
maior
que
Numero Real
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
imediatemente
apos
Posicao Temporal
comeca
em
apos
Posicao Temporal
(=>
(
instance
?MD
MountingADevice
)
(
exists
(?C ?P)
(
and
(
instance
?C
Computer
)
(
instance
?P
ComputerIODevice
)
(
patient
?MD ?C)
(
patient
?MD ?P)
(
holdsDuring
(
WhenFn
?MD)
(
connectedEngineeringComponents
?C ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MD))
(
connectedPeripheral
?P ?C)))))
ComputingBrands.kif 3801-3812
Processo
e' uma
instancia
de
MountingADevice
Entidade
Entidade
Entidade
e' uma
instancia
de
Computer
Entidade
e' uma
instancia
de
ComputerIODevice
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
a
Entidade
vale
durante
tempo
de existencia de
Processo
connectedPeripheral
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?S
Shrapnel
)
(
exists
(?B ?E)
(
and
(
instance
?B
Bomb
)
(
instance
?E
Explosion
)
(
instrument
?E ?B)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?E))
(
part
?S ?B))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?E))
(
not
(
part
?S ?B))))))
MilitaryDevices.kif 2103-2118
Entidade
e' uma
instancia
de
Shrapnel
Objeto
Processo
Objeto
e' uma
instancia
de
Bomb
Processo
e' uma
instancia
de
Explosion
Objeto
e' um
instrumento
para
Processo
Entidade
e' uma &parte de
Objeto
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma &parte de
Objeto
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970
Fisico
e' uma
instancia
de
Wedding
Entidade
Entidade
spouse
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
(=>
(
instance
?X
DeletingData
)
(
and
(
exists
(?DATA)
(
and
(
instance
?DATA
DigitalData
)
(
patient
?X ?DATA)))
(
not
(
exists
(?PROC ?CLASS)
(
and
(
instance
?PROC
ComputerProcess
)
(
instance
?PROC ?CLASS)
(
not
(
instance
?PROC
RestoringData
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?X))
(
capability
?CLASS
patient
?DATA)))))))
QoSontology.kif 112-129
Processo
e' uma
instancia
de
DeletingData
Entidade
Entidade
e' uma
instancia
de
DigitalData
Entidade
e' um
patient
de
Processo
Entidade
Classe
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
RestoringData
Entidade
e'
capaz
de fazer
Classe
no role
patient
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?X
Key
)
(
hasPurpose
?X
(
exists
(?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?LOCK
Lock
)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?X)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?X)))))
Mid-level-ontology.kif 2670-2692
Fisico
e' uma
instancia
de
Key
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Lock
Fisico
e'
capaz
de fazer a
classe
descrita por
Entidade
no role
instrument
Fisico
e'
capaz
de fazer a
classe
descrita por
Entidade
no role
instrument
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 27047-27069
Processo
e' uma
instancia
de
OperatorAssistedTelephoneCommunication
Objeto
Entidade
and
Fisico
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Fisico
e' uma
instancia
de
Humano
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
Fisico
Entidade
e' um
sub
-processo de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Communicacao
Entidade
tem como
origem
Objeto
Entidade
termina
em
Entidade
tem a
forca
modal
de
Possibility
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
(=>
(
instance
?X
RemoteKeylessSystem
)
(
exists
(?KEY ?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?KEY
Key
)
(
instance
?KEY
RemoteControl
)
(
member
?KEY ?X)
(
instance
?LOCK
Lock
)
(
member
?LOCK ?X)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?KEY)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?KEY))))
Cars.kif 3775-3800
Colecao
e' uma
instancia
de
RemoteKeylessSystem
Objeto
Fisico
,
Sequencia Simbolica
and
Sequencia Simbolica
Objeto
e' uma
instancia
de
Key
Objeto
e' uma
instancia
de
RemoteControl
Objeto
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Lock
Fisico
e'
membro
de
Colecao
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
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