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
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Entit�
@ARGS
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
equal
?MM
(
MerchantMarineFn
?AREA)))
(
not
(
equal
?HOME ?AREA)))
Transportation.kif 1064-1068
fOCShipsByOrigin
MerchantMarine
,
AreaGeopolitica
and
NumeroInteroNonNegativo
MerchantMarine
is
uguale
a
MerchantMarineFn
AreaGeopolitica
AreaGeopolitica
is
uguale
a
AreaGeopolitica
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10032-10037
Oggetto
riempie
s
apertura
attribute
Oggetto
and
Fillable
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
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
attribute
Oggetto
and
LateralRecumbant
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
LeftArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
LeftLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
Oggetto
non
incontra
Oggetto
vales
durante
PosizioneTemporale
(=>
(
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
attribute
Oggetto
and
LateralRecumbant
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
LeftArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
LeftLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
Oggetto
non
incontra
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
DeadOrMissingBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
not
?F))
Merge.kif 18246-18254
attribute
Oggetto
and
DeadOrMissingBodyPartFn
Classe
vales
durante
PosizioneTemporale
Classe
I è un'
istanza
di
Classe
Classe
I è una
parte
di
Oggetto
Classe
I ha
scopo
Formula
Formula
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
attribute
Oggetto
and
ImpairedBodyPartFn
Classe
vales
durante
PosizioneTemporale
Classe
I è un'
istanza
di
Classe
Classe
I è una
parte
di
Oggetto
Classe
I ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
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
misura
Oggetto
è
FunzioneDiQuantit�
vales
durante
PosizioneTemporale
engineIdleSpeed
InternalCombustionEngine
and
FunzioneDiQuantit�
Oggetto
è un'
istanza
di
Automobile
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
InternalCombustionEngine
l'affermazione
Entit�
Entit�
Entit�
has luogo
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Pushing
Entit�
fine
s in
Entit�
Entit�
è una
parte
di
Oggetto
ha il modello di forza di
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
attribute
Entit�
and
Expellee
Entit�
è un
cittadino
di
Entit�
-NATION vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
-NATION
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
-NATION
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
(=>
(
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
attribute
Entit�
and
DislocatedCivilian
Entit�
abita
s in
Entit�
Entit�
è
localizzato
in
AreaGeografica
vales
durante
IntervalloTemporale
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
Entit�
-PLACE and
Entit�
-RES
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
-RES è un'
istanza
di
Oggetto
Entit�
-PLACE è un'
istanza
di
AreaGeopolitica
Entit�
-RES è
localizzato
in
Entit�
-PLACE
AreaGeografica
is
uguale
a
Entit�
-PLACE
Entit�
is
uguale
a
Entit�
-RES
geographicSubregion
AreaGeografica
and
Entit�
-PLACE
geographicSubregion
Entit�
-PLACE and
AreaGeografica
Entit�
abita
s in
Entit�
-RES vales
durante
IntervalloTemporale
(=>
(
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
attribute
AutonomousAgent
and
Menopausal
vales
durante
IntervalloTemporale
NumeroReale
is
uguale
a (1
YearDuration
(s + l'
inizio
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra
IntervalloTemporale
e l'
inizio
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Menstruation
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
attribute
Entit�
and
StatelessPerson
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Nazione
Entit�
è un
cittadino
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
attribute
AutonomousAgent
and
Embryonic
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Nascita
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
non
sovrappone
IntervalloTemporale
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
BankCard
è un'
istanza
di
ExpiredCard
vales
durante
PosizioneTemporale
cardAccount
BankCard
and
FinancialAccount
attribute
BankCard
and
ActiveAgreement
vales
durante
PosizioneTemporale
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
givenName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
not
(
keyName
?STRING ?NAMESTRING)))
Media.kif 3461-3466
humanName
Stringa
and
Umano
givenName
Stringa
and
Umano
subString
Stringa
and
Stringa
keyName
Stringa
and
Stringa
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
independenceDate
AreaGeopolitica
and
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
dependentGeopoliticalArea
AreaGeopolitica
and
Entit�
vales
durante
dopo
PosizioneTemporale
(=>
(
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
Processo
è un'
istanza
di
Aborting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Woman
attribute
Entit�
and
Pregnant
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Pregnant
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Accelerating
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Decelerating
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Amputating
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Limb
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Osso
Oggetto
è una
parte
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Oggetto
è una
parte
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
Processo
è un'
istanza
di
Anesthetizing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Inconscio
attribute
Entit�
and
Pain
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
è un'
istanza
di
Anesthetizing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Inconscio
attribute
Entit�
and
Pain
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Apologizing
Processo
è un
agente
di
Processo
G
Processo
fine
s in
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT è un
agente
di
Processo
G
Processo
G non
vuole
Processo
CT vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Appointing
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
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