not
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
))
(
exists
(?X @ARGS)
(
and
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))))
Media.kif 2075-2090
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
entit�
@ARGS
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
entit�
est
nombre entier positif
th
entit�
est
entit�
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
equal
?MM
(
MerchantMarineFn
?AREA)))
(
not
(
equal
?HOME ?AREA)))
Transportation.kif 1064-1068
fOCShipsByOrigin
MerchantMarine
,
secteur g�opolitique
and
nombre entier non n�gatif
MerchantMarine
est
MerchantMarineFn
secteur g�opolitique
secteur g�opolitique
est
secteur g�opolitique
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10032-10037
Objet
remplie
trou
Fillable
est un
attribut
de
objet
objet
ne
recouvre
%n{pas}
objet
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
firstTimeBuyers
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
firstTimeSellers
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
LateralRecumbant
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
LeftArm
objet
est une
partie
de
objet
objet
est une
instance
de
RightArm
objet
est une
partie
de
objet
objet
est une
instance
de
LeftLeg
objet
est une
partie
de
objet
objet
est une
instance
de
RightLeg
objet
est une
partie
de
objet
objet
rencontre
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
objet
ne
rencontre
%n{pas}
objet
pendant
position temporel
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
LateralRecumbant
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
LeftArm
objet
est une
partie
de
objet
objet
est une
instance
de
RightArm
objet
est une
partie
de
objet
objet
est une
instance
de
LeftLeg
objet
est une
partie
de
objet
objet
est une
instance
de
RightLeg
objet
est une
partie
de
objet
objet
rencontre
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
objet
ne
rencontre
%n{pas}
objet
pendant
position temporel
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
DeadOrMissingBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
not
?F))
Merge.kif 18246-18254
DeadOrMissingBodyPartFn
classe
est un
attribut
de
objet
pendant
position temporel
classe
I est une
instance
de
classe
classe
I est une
partie
de
objet
classe
I a pour
but
formule
formule
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
classe
est un
attribut
de
objet
pendant
position temporel
classe
I est une
instance
de
classe
classe
I est une
partie
de
objet
classe
I a pour
but
formule
l'argument
formule
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
La
mesure
de
objet
est
function de quantit�
pendant
position temporel
engineIdleSpeed
InternalCombustionEngine
and
function de quantit�
objet
est une
instance
de
Automobile
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
InternalCombustionEngine
l'argument
entit�
entit�
entit�
prend place
pendant
position temporel
entit�
est une
instance
de
Pushing
entit�
aboutit
�
entit�
entit�
est une
partie
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
est un
attribut
de
entit�
entit�
est un
citoyen
de
entit�
-NATION
pendant
position temporel
position temporel
est une
instance
de
interval temporel
processus
objet
objet
est une
instance
de
nation
objet
est
entit�
-NATION
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
-NATION
position temporel
est une
partie
de
temps
d'existence de
processus
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
DislocatedCivilian
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
secteur g�ographique
pendant
interval temporel
secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
interval temporel
interval temporel
entit�
-PLACE and
entit�
-RES
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
-RES est une
instance
de
objet
entit�
-PLACE est une
instance
de
secteur g�opolitique
entit�
-RES est
situ
� �
entit�
-PLACE
secteur g�ographique
est
entit�
-PLACE
entit�
est
entit�
-RES
geographicSubregion
secteur g�ographique
and
entit�
-PLACE
geographicSubregion
entit�
-PLACE and
secteur g�ographique
entit�
vie
�
entit�
-RES
pendant
interval temporel
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
Menopausal
est un
attribut
de
AutonomousAgent
pendant
interval temporel
nombre r�el
est
YearDuration
(s) + le
d
�but de
interval temporel
)
interval temporel
est
intervale
entre
interval temporel
et le
d
�but de
interval temporel
processus
processus
est une
instance
de
Menstruation
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
StatelessPerson
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
nation
entit�
est un
citoyen
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
Embryonic
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
ne
recouvre
%n{pas}
interval temporel
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
BankCard
est une
instance
de
ExpiredCard
pendant
position temporel
cardAccount
BankCard
and
FinancialAccount
ActiveAgreement
est un
attribut
de
BankCard
pendant
position temporel
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
givenName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
not
(
keyName
?STRING ?NAMESTRING)))
Media.kif 3461-3466
humanName
cha�ne sympbolique
and
humain
givenName
cha�ne sympbolique
and
humain
subString
cha�ne sympbolique
and
cha�ne sympbolique
keyName
cha�ne sympbolique
and
cha�ne sympbolique
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
independenceDate
secteur g�opolitique
and
interval temporel
position temporel
est une
instance
de
interval temporel
entit�
dependentGeopoliticalArea
secteur g�opolitique
and
entit�
pendant
apr
�s
position temporel
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
Processus
est une
instance
de
Aborting
entit�
est un
patient
de
processus
entit�
est une
instance
de
Woman
Pregnant
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Pregnant
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17193-17203
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
Processus
est une
instance
de
Amputating
entit�
est un
patient
de
processus
objet
est une
instance
de
Limb
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
os
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
Processus
est une
instance
de
Anesthetizing
entit�
est un
patient
de
processus
inconscient
est un
attribut
de
entit�
Pain
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processus
est une
instance
de
Anesthetizing
entit�
est un
patient
de
processus
inconscient
est un
attribut
de
entit�
Pain
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Apologizing
processus
est un
agent
de
processus
G
processus
aboutit
�
AutonomousAgent
processus
CT
suffers
processus
CT and
AutonomousAgent
processus
CT est un
agent
de
processus
G
processus
G ne
veut
%n{pas}
processus
CT
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
Processus
est une
instance
de
Appointing
entit�
est un
patient
de
processus
entit�
entit�
entit�
n' occupe %n{pas} la
position
de
entit�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
occupe la
position
de
entit�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
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