Human
(Humano)
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
Parte do Corpo
e' uma
instancia
de
TrueRibBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
Sternum
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
RibCage
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Living
e' um
atributo
de
Objeto
~{
Fisico
e' uma
instancia
de
Processo Patologico
} ~{
Fisico
e'
situado
em
Objeto
}
Objeto
T
Objeto
Objeto
T e' uma
instancia
de
Heart
Objeto
T e' uma
instancia
de
Lung
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
contem
Objeto
T
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
Processo
e' uma
instancia
de
Spamming
Processo
PAM e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Spam
Entidade
e' uma
instancia
de
Humano
Processo
termina
em
Entidade
Processo
Processo
e' uma
instancia
de
Pedir
Processo
PAM e' um
patient
de
Processo
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
Processo
e' uma
instancia
de
Spamming
Processo
PAM e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Spam
Entidade
e' uma
instancia
de
Humano
Processo
termina
em
Entidade
o argumento
Entidade
quer
Processo
PAM nao %n a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Strangling
)
(
patient
?S ?V)
(
instance
?V
Human
))
(
hasPurpose
?S
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
agent
?B ?V))))))
Mid-level-ontology.kif 6537-6547
Processo
e' uma
instancia
de
Strangling
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Humano
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Respirar
Entidade
e' um
agente
de
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
AuditoriumSeat
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Auditorium
Objeto
e' uma
instancia
de
PerformanceStage
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Humano
Processo
e' uma
sub
-classe de
Visao
Processo
Processo
e' uma
instancia
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
agent
(=>
(
and
(
instance
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
AutonomousAgent
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Humano
Posicao
e' um
atributo
de
AutonomousAgent
Posicao
e' um
sub
-atributo de
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
AutonomousAgent
(=>
(
and
(
instance
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 783-788
Processo
e' uma
instancia
de
ChristianService
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
membro
de
Christianity
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923
Processo
e' uma
instancia
de
LaborStriking
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Intervalo Temporal
e' uma
instancia
de
TimePeriod
a
duracao
de
Intervalo Temporal
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
maior
que 5.0
Entidade
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Respirar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Entidade
e' um
patient
de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
experimenta
Entidade
Intervalo Temporal
encontra
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
ContentBearingPhysical
e' uma
instancia
de
BirthCertificate
Processo
e' uma
instancia
de
Nascimento
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Entidade
Entidade
and
Entidade
birthdate
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Dia
birthplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
Name
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
ContentBearingPhysical
e' uma
instancia
de
DeathCertificate
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entidade
,
Entidade
and
Entidade
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY e' uma
instancia
de
Dia
deathplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
Name
Entidade
ROC
causa
Processo
Entidade
ROC e' uma
instancia
de
Processo
(=>
(
and
(
instance
?TEXT
MarriageCertificate
)
(
instance
?A
Human
)
(
instance
?B
Human
)
(
spouse
?A ?B))
(
containsFormula
?TEXT
(
exists
(?DAY)
(
and
(
weddingdate
?A ?B ?DAY)
(
instance
?DAY
Day
)))))
Biography.kif 307-317
ContentBearingPhysical
e' uma
instancia
de
MarriageCertificate
Humano
e' uma
instancia
de
Humano
Humano
e' uma
instancia
de
Humano
spouse
Humano
and
Humano
containsFormula
ContentBearingPhysical
and
Entidade
weddingdate
Humano
,
Humano
and
Entidade
Entidade
e' uma
instancia
de
Dia
(=>
(
and
(
instance
?VEHICLE
CargoVehicle
)
(
instance
?O
Human
))
(
not
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?O)
(
instrument
?T ?VEHICLE)))
Possibility
)))
Transportation.kif 1766-1776
Entidade
e' uma
instancia
de
CargoVehicle
Entidade
e' uma
instancia
de
Humano
o argumento
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' um
patient
de
Entidade
Entidade
e' um
instrumento
para
Entidade
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
instance
?VEHICLE
PassengerVehicle
)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
))
Transportation.kif 1748-1758
Entidade
e' uma
instancia
de
PassengerVehicle
Entidade
e' uma
instancia
de
Humano
o argumento
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' um
patient
de
Entidade
Entidade
e' um
instrumento
para
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
Humano
e' uma
instancia
de
Humano
Colecao
e' uma
instancia
de
Colecao
Experimenting
Fisico
Processo
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Processo
Humano
e'
capaz
de fazer
Processo
no role
experiencer
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Processo
Experimenting
Fisico
ESS
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Fisico
ESS
Humano
e'
capaz
de fazer
Fisico
ESS no role
experiencer
QualifiedTreatmentsFn
Humano
e'
igual
a
Colecao
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?QPVIEWS
Collection
)
(
forall
(?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?EXPERIMENT
Experimenting
)
(
agent
?ACCESSING ?VISITOR)
(
patient
?ACCESSING ?PAGE)
(
treatedPage
?PAGE ?EXPERIMENT))
(
member
?ACCESSING ?QPVIEWS))))
(
equal
?QPVIEWS
(
QPViewsFn
?VISITOR)))
UXExperimentalTerms.kif 4175-4190
Humano
e' uma
instancia
de
Humano
Colecao
e' uma
instancia
de
Colecao
WebPage
Processo
and
Experimenting
WebPage
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
AccessingWebPage
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' um
agente
de
Humano
WebPage
e' um
patient
de
Processo
treatedPage
WebPage
and
Experimenting
Processo
e'
membro
de
Colecao
Colecao
e'
igual
a
QPViewsFn
Humano
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
sub
-colecao de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Objeto
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
AccessingWebPage
Objeto
e' uma
instancia
de
WebPage
Processo
e'
membro
de
Colecao
Processo
termina
em
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
e'
membro
de
Colecao
Intervalo Temporal
Entidade
_IN_INTERVAL and
Entidade
_IN_INTERVAL
SCRFn
Colecao
and
Intervalo Temporal
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Entidade
_IN_INTERVAL + o numero de
instancias
dentro de a
classe
descrita por
Entidade
_IN_INTERVAL
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 20426-20436
Processo
e' uma
instancia
de
WorkLeave
Processo
ORK e' uma
instancia
de
Working
Processo
e' um
agente
de
AutonomousAgent
Processo
ORK e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
tempo
de existencia de
Processo
ORK nao
engloba
%n
tempo
de existencia de
Processo
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1745-1756
muscleInsertion
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
Healthy
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
conecta
Objeto
e
(=>
(
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
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1695-1706
muscleOrigin
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
Healthy
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
conecta
Objeto
e
(=>
(
and
(
muscleOrigin
?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)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
Humano
se chama
nome
Sequencia Simbolica
Humano
e' uma
instancia
de
Humano
humanName
Sequencia Simbolica
and
Humano
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
orthogonalTests
Colecao
and
Colecao
Objeto
e' uma
instancia
de
Humano
Fisico
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Experimenting
Fisico
e'
membro
de
Colecao
Objeto
e'
capaz
de fazer
Processo
no role
experimentalSubject
Fisico
Processo
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
Colecao
Processo
e' uma
sub
-classe de
Experimenting
Objeto
e'
capaz
de fazer
Processo
no role
experimentalSubject
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