Human
(Umano)
(=>
(
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
ParteDelCorpo
è un'
istanza
di
TrueRibBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
Sternum
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
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 11246-11261
OggettoIntegro
è un'
istanza
di
RibCage
OggettoIntegro
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Living
~{
Entit�Concreta
è un'
istanza
di
ProcessoPatologico
} ~{
Entit�Concreta
è
localizzato
in
Oggetto
}
Oggetto
T
Oggetto
Oggetto
T è un'
istanza
di
Heart
Oggetto
T è un'
istanza
di
Lung
contains
OggettoIntegro
and
Oggetto
contains
OggettoIntegro
and
Oggetto
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
è un'
istanza
di
Spamming
Processo
PAM è un
risultato
di
Processo
Processo
è un'
istanza
di
Spam
Entit�
è un'
istanza
di
Umano
Processo
fine
s in
Entit�
Processo
Processo
è un'
istanza
di
Richiedere
Processo
PAM è un
paziente
di
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
è un'
istanza
di
Spamming
Processo
PAM è un
risultato
di
Processo
Processo
è un'
istanza
di
Spam
Entit�
è un'
istanza
di
Umano
Processo
fine
s in
Entit�
l'affermazione
Entit�
vuole
s
Processo
PAM ha il modello di forza di
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 6536-6546
Processo
è un'
istanza
di
Strangling
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Umano
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Respirazione
Entit�
è un
agente
di
Entit�
(=>
(
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 7350-7364
Oggetto
è un'
istanza
di
AuditoriumSeat
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Auditorium
Oggetto
è un'
istanza
di
PerformanceStage
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Umano
Processo
è una
sottoclasse
di
Vista
Processo
Processo
è un'
istanza
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
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
è un'
istanza
di
Nazione
AutonomousAgent
è un'
istanza
di
Nazione
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Posizione
Posizione
è un
sottoattributo
di
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posizione
and
AutonomousAgent
(=>
(
and
(
instance
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 783-788
Processo
è un'
istanza
di
ChristianService
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un
membro
di
Christianity
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16915-16922
Processo
è un'
istanza
di
LaborStriking
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
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
IntervalloTemporale
è un'
istanza
di
TimePeriod
durata
di
IntervalloTemporale
è
NumeroReale
MinuteDuration
(s
NumeroReale
è
pi
ù grande di 5.0
Entit�
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Entit�
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
esperisce
s
Entit�
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Entit�
ha il modello di forza di
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
è un'
istanza
di
BirthCertificate
Processo
è un'
istanza
di
Nascita
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Entit�
Entit�
and
Entit�
birthdate
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
Giorno
birthplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
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
è un'
istanza
di
DeathCertificate
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entit�
,
Entit�
and
Entit�
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY è un'
istanza
di
Giorno
deathplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
Name
Entit�
ROC
causa
s
Processo
Entit�
ROC è un'
istanza
di
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
è un'
istanza
di
MarriageCertificate
Umano
è un'
istanza
di
Umano
Umano
è un'
istanza
di
Umano
spouse
Umano
and
Umano
containsFormula
ContentBearingPhysical
and
Entit�
weddingdate
Umano
,
Umano
and
Entit�
Entit�
è un'
istanza
di
Giorno
(=>
(
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
Entit�
è un'
istanza
di
CargoVehicle
Entit�
è un'
istanza
di
Umano
l'affermazione
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un
paziente
di
Entit�
Entit�
è uno
strumento
per
Entit�
ha il modello di forza di
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
Entit�
è un'
istanza
di
PassengerVehicle
Entit�
è un'
istanza
di
Umano
l'affermazione
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un
paziente
di
Entit�
Entit�
è uno
strumento
per
Entit�
ha il modello di forza di
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
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Experimenting
Entit�Concreta
Processo
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Umano
è
capace
di fare
Processo
nel ruolo
experiencer
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Processo
Experimenting
Entit�Concreta
ESS
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Entit�Concreta
ESS
Umano
è
capace
di fare
Entit�Concreta
ESS nel ruolo
experiencer
QualifiedTreatmentsFn
Umano
is
uguale
a
InsiemeConcreto
(=>
(
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
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebPage
Processo
and
Experimenting
WebPage
è un'
istanza
di
WebPage
Processo
è un'
istanza
di
AccessingWebPage
Experimenting
è un'
istanza
di
Experimenting
Processo
è un
agente
di
Umano
WebPage
è un
paziente
di
Processo
treatedPage
WebPage
and
Experimenting
Processo
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
QPViewsFn
Umano
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Oggetto
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
AccessingWebPage
Oggetto
è un'
istanza
di
WebPage
Processo
è un
membro
di
InsiemeConcreto
Processo
fine
s in
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è uno
strumento
per
Processo
Processo
è un
membro
di
InsiemeConcreto
IntervalloTemporale
Entit�
_IN_INTERVAL and
Entit�
_IN_INTERVAL
SCRFn
InsiemeConcreto
and
IntervalloTemporale
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL + il numero di
istanzia
in la
classe
descritta da
Entit�
_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 20425-20435
Processo
è un'
istanza
di
WorkLeave
Processo
ORK è un'
istanza
di
Working
Processo
è un
agente
di
AutonomousAgent
Processo
ORK è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
il
tempo
di esistenza di
Processo
ORK non
sovrappone
il
tempo
di esistenza di
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Healthy
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
connette
Oggetto
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Healthy
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
connette
Oggetto
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
names
Stringa
and
Umano
Umano
è un'
istanza
di
Umano
humanName
Stringa
and
Umano
(=>
(
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
InsiemeConcreto
and
InsiemeConcreto
Oggetto
è un'
istanza
di
Umano
Entit�Concreta
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Experimenting
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è una
sottoclasse
di
Experimenting
Oggetto
è
capace
di fare
Processo
nel ruolo
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