Human
(humain)
(=>
(
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
Partie du corps
est une
instance
de
TrueRibBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
Sternum
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
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
?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
Processus
est une
instance
de
Spamming
processus
PAM est le
resultat
de
processus
processus
est une
instance
de
Spam
entit�
est une
instance
de
humain
processus
aboutit
�
entit�
processus
processus
est une
instance
de
demander
processus
PAM est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Spamming
processus
PAM est le
resultat
de
processus
processus
est une
instance
de
Spam
entit�
est une
instance
de
humain
processus
aboutit
�
entit�
l'argument
entit�
veut
processus
PAM n' %n{pas} la
force
modale
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
Processus
est une
instance
de
Strangling
entit�
est un
patient
de
processus
entit�
est une
instance
de
humain
processus
a pour
but
entit�
entit�
est une
instance
de
respirer
entit�
est un
agent
de
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 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
?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
est une
instance
de
nation
AutonomousAgent
est une
instance
de
nation
AutonomousAgent
est une
instance
de
humain
position
est un
attribut
de
AutonomousAgent
position
est un
sous
-attribut de
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
position
and
AutonomousAgent
(=>
(
and
(
instance
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 783-788
Processus
est une
instance
de
ChristianService
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est un
membre
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
Processus
est une
instance
de
LaborStriking
processus
est un
agent
de
agent cognitif
agent cognitif
est une
instance
de
humain
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
emploie
agent cognitif
(=>
(
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
Interval temporel
est une
instance
de
TimePeriod
la
dur
�� de
interval temporel
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
plus
grand
que 5.0
entit�
est une
instance
de
humain
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
entit�
est un
patient
de
processus
l'argument
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
interval temporel
rencontre
temps
d'existence de
entit�
a la
force
modale
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
est une
instance
de
BirthCertificate
processus
est une
instance
de
naissance
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
containsFormula
ContentBearingPhysical
and
entit�
entit�
and
entit�
birthdate
AutonomousAgent
and
entit�
entit�
est une
instance
de
jour
birthplace
AutonomousAgent
and
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
AutonomousAgent
entit�
est une
instance
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
est une
instance
de
DeathCertificate
processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
containsFormula
ContentBearingPhysical
and
processus
AY
entit�
,
entit�
and
entit�
ROC
deathdate
AutonomousAgent
and
processus
AY
processus
AY est une
instance
de
jour
deathplace
AutonomousAgent
and
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
AutonomousAgent
entit�
est une
instance
de
Name
entit�
ROC
cause
processus
entit�
ROC est une
instance
de
processus
(=>
(
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
est une
instance
de
MarriageCertificate
humain
est une
instance
de
humain
humain
est une
instance
de
humain
spouse
humain
and
humain
containsFormula
ContentBearingPhysical
and
entit�
weddingdate
humain
,
humain
and
entit�
entit�
est une
instance
de
jour
(=>
(
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�
est une
instance
de
CargoVehicle
entit�
est une
instance
de
humain
l'argument
entit�
entit�
est une
instance
de
transporter
entit�
est un
patient
de
entit�
entit�
est un
instrument
pour
entit�
n' %n{pas} la
force
modale
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
Entit�
est une
instance
de
PassengerVehicle
entit�
est une
instance
de
humain
l'argument
entit�
entit�
est une
instance
de
transporter
entit�
est un
patient
de
entit�
entit�
est un
instrument
pour
entit�
a la
force
modale
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
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
Experimenting
physique
processus
Experimenting
est une
instance
de
Experimenting
physique
est une
instance
de
processus
physique
est un
membre
de
QualifyingEventsFn
Experimenting
physique
est une
instance
de
processus
humain
est
capable
de faire
processus
dans le r�le
experiencer
physique
est un
membre
de
collection
physique
est un
membre
de
collection
physique
est une
instance
de
processus
Experimenting
physique
ESS
Experimenting
est une
instance
de
Experimenting
physique
est un
membre
de
QualifyingEventsFn
Experimenting
physique
est une
instance
de
physique
ESS
humain
est
capable
de faire
physique
ESS dans le r�le
experiencer
QualifiedTreatmentsFn
humain
est
collection
(=>
(
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
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
WebPage
processus
and
Experimenting
WebPage
est une
instance
de
WebPage
processus
est une
instance
de
AccessingWebPage
Experimenting
est une
instance
de
Experimenting
processus
est un
agent
de
humain
WebPage
est un
patient
de
processus
treatedPage
WebPage
and
Experimenting
processus
est un
membre
de
collection
collection
est
QPViewsFn
humain
(=>
(
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
Collection
est une
instance
de
collection
collection
est une
instance
de
collection
collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
processus
AutonomousAgent
,
processus
,
processus
and
objet
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
acheter
processus
est une
instance
de
AccessingWebPage
objet
est une
instance
de
WebPage
processus
est un
membre
de
collection
processus
aboutit
�
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
objet
est un
instrument
pour
processus
processus
est un
membre
de
collection
interval temporel
entit�
_IN_INTERVAL and
entit�
_IN_INTERVAL
SCRFn
collection
and
interval temporel
est
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL + le nombre d'
instances
dans la
classe
d�crite par
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 20426-20436
Processus
est une
instance
de
WorkLeave
processus
ORK est une
instance
de
Working
processus
est un
agent
de
AutonomousAgent
processus
ORK est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
temps
d'existence de
processus
ORK ne
recouvre
%n{pas}
temps
d'existence de
processus
(=>
(
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
muscle
and
partie du corps
objet
est une
instance
de
humain
Healthy
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
muscle
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
relie
objet
et
(=>
(
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
(=>
(
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
muscle
and
partie du corps
objet
est une
instance
de
humain
Healthy
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
muscle
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
relie
objet
et
(=>
(
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
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
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
Humain
s'appele
nom
cha�ne sympbolique
humain
est une
instance
de
humain
humanName
cha�ne sympbolique
and
humain
(=>
(
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
collection
and
collection
objet
est une
instance
de
humain
physique
est une
instance
de
processus
processus
est une
sous
-classe de
Experimenting
physique
est un
membre
de
collection
objet
est
capable
de faire
processus
dans le r�le
experimentalSubject
physique
processus
physique
est une
instance
de
processus
physique
est un
membre
de
collection
processus
est une
sous
-classe de
Experimenting
objet
est
capable
de faire
processus
dans le r�le
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