agent
(=>
(
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
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Entit�Concreta
è una
sottoclasse
di
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
l'affermazione
attribute
AutonomousAgent
and
PostExertionalMalaise
vales
durante
IntervalloTemporale
2 il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
2 ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
desidera
s
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
AutonomousAgent
URDER è un'
istanza
di
Murder
AutonomousAgent
URDER è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
AutonomousAgent
URDER
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Oggetto
è un'
istanza
di
Antacid
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
Processo
è un'
istanza
di
Apologizing
Processo
è un
agente
di
Processo
G
Processo
fine
s in
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT è un
agente
di
Processo
G
Processo
G non
vuole
Processo
CT vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
è un'
istanza
di
Biped
Processo
è un'
istanza
di
Ambulating
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Leg
Entit�
è un'
istanza
di
Leg
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
Entit�
è uno
strumento
per
Processo
Entit�
è uno
strumento
per
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
AutonomousAgent
è un'
istanza
di
Herbivore
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Mangiare
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Pianta
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Oggetto
è un'
istanza
di
ProtonPumpInhibitor
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
Processo
è un'
istanza
di
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
causa
s
Processo
AutonomousAgent
CTION è un
agente
di
Entit�
_A
MilitaryOperation
è un
agente
di
Entit�
_A
enemy
Entit�
_A and
Entit�
_A
(=>
(
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
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
è un'
istanza
di
AccessingWebPage
Entit�
è un'
istanza
di
WebPage
Processo
è un'
istanza
di
DataTransfer
Oggetto
è un'
istanza
di
Server
Processo
è un'
istanza
di
Richiedere
AutonomousAgent
è un'
istanza
di
WebBrowser
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
è un
paziente
di
AccessingWebPage
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
AccessingWebPage
Processo
è un
sottoprocesso
di
AccessingWebPage
la
fine
di il
tempo
di esistenza di
Processo
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di il
tempo
di esistenza di
Processo
is
uguale
a la
fine
di
IntervalloTemporale
SiteSpeedFn
AccessingWebPage
is
uguale
a
IntervalloTemporale
(=>
(
and
(
instance
?ACT
OrganizationalProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
Organization
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG)))))
Merge.kif 10540-10549
Processo
è un'
istanza
di
ProcessoOrganizzativo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Organizzazione
AutonomousAgent
è un
membro
di
InsiemeConcreto
(=>
(
and
(
instance
?ACT
ReligiousProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
ReligiousOrganization
)
(
exists
(?ORG)
(
and
(
member
?AGENT ?ORG)
(
instance
?ORG
ReligiousOrganization
)))))
Merge.kif 10562-10571
Processo
è un'
istanza
di
ProcessoReligioso
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
OrganizzazioneReligiosa
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
agent
?AMBULATE ?AGENT))
(
attribute
?AGENT
Standing
))
Merge.kif 18063-18067
Processo
è un'
istanza
di
Ambulating
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
Standing
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
Processo
è un'
istanza
di
Ambulating
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
Processo
è un'
istanza
di
Ambulating
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
Processo
è un'
istanza
di
Ambush
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Concealing
Processo
è un
sottoprocesso
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Attack
Entit�
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processo
è un'
istanza
di
AirPhotographicReconnaissance
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Photographing
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
Processo
è un'
istanza
di
AmphibiousReconnaissance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
LandingWaterLand
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processo
è un'
istanza
di
ArmedReconnaissance
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
enemy
AgenteCognitivo
and
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Attack
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
agent
?ARREST ?AGENT))
(
instance
?AGENT
CognitiveAgent
))
Mid-level-ontology.kif 23482-23486
Processo
è un'
istanza
di
PlacingUnderArrest
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AgenteCognitivo
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
IntervalloTemporale
è un'
istanza
di
AddToCart
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
InsiemeConcreto
WebSite
,
PosizioneTemporale
and
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
webcart
AutonomousAgent
,
InsiemeConcreto
and
WebSite
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
Entit�
è un
membro
di
InsiemeConcreto
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processo
è un'
istanza
di
AddToCart
AgenteCognitivo
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
Processo
è un'
istanza
di
Attack
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha &n
scopo
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un
paziente
di
Entit�
per
AutonomousAgent
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