holdsDuring
(=>
(
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
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16324-16329
Il y a une
relation
l
�gal entre
entit�
et
entit�
pendant
position temporel
entit�
est une
instance
de
organisme
entit�
est une
instance
de
organisme
relative
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
Entit�
est un
membre
de
entit�
pendant
position temporel
entit�
est une
instance
de
humain
entit�
est une
instance
de
GroupOfPeople
groupMember
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
livre
BookPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
MusicalComposition
MusicPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
Newspaper
NewspaperPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
periodique
PeriodicalPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
texte
InformationIndustries
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?TIME ?SITUATION1)
(
entails
?SITUATION1 ?SITUATION2))
(
holdsDuring
?TIME ?SITUATION2))
Merge.kif 3889-3893
Formule
pendant
position temporel
formule
n
�cessite
formule
formule
pendant
position temporel
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
La
forme
developmentale
de
entit�
est
attribut
pendant
interval temporel
attribut
est un
attribut
successeur
de
attribut
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
la
forme
developmentale
de
entit�
est
attribut
pendant
interval temporel
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
Formule
pendant
position temporel
position temporel
est une
partie
de
position temporel
formule
pendant
position 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
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT)))))
Economy.kif 2583-2592
importTotalInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualImportTotal
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(=>
(
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
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23710-23719
initialPart
objet
and
objet
physique
est une
instance
de
objet
entit�
entit�
est une
instance
de
objet
physique
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
physique
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23737-23745
initiallyContainsPart
objet
and
objet
physique
est une
instance
de
objet
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
physique
pendant
le
d
�but de
temps
d'existence de
physique
(=>
(
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
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
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processus
est une
instance
de
Asphyxiation
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
respirer
processus
exp
�rimente
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processus
est une
instance
de
LocalAnesthetizing
processus
est
situ
� �
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est un
patient
de
processus
PainFn
objet
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
Processus
est une
instance
de
Sedating
entit�
est un
patient
de
processus
Conscious
est un
attribut
de
entit�
anxiété
est un
attribut
de
entit�
pendant
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