forall
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
Processo
è un'
istanza
di
Trattenere
Entit�
è un
paziente
di
Processo
Entit�
PosizioneTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
OggettoIntegro
è un'
istanza
di
Oggetto
attribute
OggettoIntegro
and
ConvexRoundShape
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
TwoDimensionalObject
GeometricPoint
GeometricPoint
è una
parte
di
OggettoIntegro
attribute
GeometricPoint
and
GeometricPoint
pointOfFigure
GeometricPoint
and
OggettoIntegro
GeometricPoint
incontra
s
OggettoIntegro
GeometricPoint
incontra
s
OggettoIntegro
OneDimensionalFigure
tangent
OneDimensionalFigure
and
OggettoIntegro
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
Umano
è un'
istanza
di
Umano
DescendantsFn
Umano
is
uguale
a
GruppoFamiliare
Organismo
Organismo
è un
membro
di
GruppoFamiliare
ancestor
Organismo
and
Umano
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
intervallo
tra
PuntoTemporale
e
PuntoTemporale
is
uguale
a
IntervalloTemporale
PuntoTemporale
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
è un'
istanza
di
DailyHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
l'affermazione
Entit�
Entit�
and
Entit�
guest
Entit�
and
Organizzazione
stays
Entit�
and
Entit�
Entit�
is
uguale
a il
tempo
di esistenza di
stays
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
Giorno
Entit�
has luogo
durante
Entit�
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
Entit�
has luogo
durante
Entit�
vales
durante
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?RELATION
ReflexiveRelation
)
(
reflexiveOn
?RELATION ?CLASS)
(
instance
?RELATION
Predicate
))
(
forall
(?INST)
(=>
(
instance
?INST ?CLASS)
(?RELATION ?INST ?INST))))
Merge.kif 3610-3618
RelazioneBinaria
è un'
istanza
di
RelazioneRiflessiva
RelazioneBinaria
è
riflessivo
su
Classe
RelazioneBinaria
è un'
istanza
di
Predicato
Entit�
Entit�
è un'
istanza
di
Classe
RelazioneBinaria
Entit�
and
Entit�
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
CognitiveAgent
)
(
agent
?EXPERIMENT ?AGENT)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
forall
(?ATTRIBUTE)
(=>
(
and
(
instance
?ATTRIBUTE
Attribute
)
(
property
?SAMPLE_COLL ?ATTRIBUTE)
(
inScopeOfInterest
?AGENT ?ATTRIBUTE)
(
not
(
equal
?ATTRIBUTE
RepresentativeSample
)))
(
property
?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
Entit�
_COLL è un'
istanza
di
InsiemeConcreto
Entit�
_COLL è un'
istanza
di
InsiemeConcreto
Experimenting
è un'
istanza
di
Experimenting
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
Experimenting
è un
agente
di
AgenteCognitivo
statisticalPopulation
Entit�
_COLL,
Entit�
_COLL and
Experimenting
Attributo
Attributo
è un'
istanza
di
Attributo
Entit�
_COLL ha un
attributo
Attributo
AgenteCognitivo
è
interessato
a
Attributo
Attributo
is
uguale
a
RepresentativeSample
Entit�
_COLL ha un
attributo
Attributo
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5306-5314
InsiemeConcreto
è un'
istanza
di
ClothingSuit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoCorpuscolare
è un'
istanza
di
HypertextLink
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
InsiemeConcreto
è un
componente
di
OggettoCorpuscolare
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
RequestingHyperlink
OggettoCorpuscolare
è un
paziente
di
Processo
Processo
è un
membro
di
InsiemeConcreto
ClickThroughRateFn
InsiemeConcreto
and
OggettoCorpuscolare
is
uguale
a il numero di
istanzia
in
InsiemeConcreto
+ il numero di
istanzia
in
InsiemeConcreto
(=>
(
and
(
instance
?WAR
War
)
(
agent
?WAR ?AGENT))
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
and
(
instance
?AGENT
Organization
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?AGENT)
(
instance
?MEMBER
GeopoliticalArea
))))))
Merge.kif 13338-13349
Processo
è un'
istanza
di
Guerra
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
è un'
istanza
di
Organizzazione
Entit�Concreta
Entit�Concreta
è un
membro
di
AutonomousAgent
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
Oggetto
è un'
istanza
di
Buffet
attribute
Oggetto
and
Breakfast
l'affermazione
Entit�
Entit�
è un
membro
di
Oggetto
attribute
Entit�
and
Breakfast
ha il modello di forza di
Likely
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
InsiemeConcreto
è un'
istanza
di
Outfit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
NumeroReale
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
HumanAdult
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 60
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
and
AutonomousAgent
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
FunzioneDiQuantit�
is
uguale
a
PerFn
MisuraMonetaria
and la
misura
NumeroReale
è
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
%è una
istanza
immediata %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
esistes
durante
NumeroReale
INT
IntervalloTemporale
NumeroReale
NumeroReale
INT has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
AgenteCognitivo
ScambioFinanziario
è un
agente
di
AutonomousAgent
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
roomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
HotelUnit
Entit�Concreta
Oggetto
è un'
istanza
di
HotelUnit
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
CompulsorySuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
RegionalLawFn
Nazione
obbliga
Umano
a compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
and
(
trichotomizingOn
?RELATION ?CLASS)
(
instance
?RELATION
RelationExtendedToQuantities
))
(
forall
(?INST1 ?INST2)
(=>
(
and
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS))
(
or
(?RELATION ?INST1 ?INST2)
(?RELATION ?INST2 ?INST1)
(
equal
?INST1 ?INST2)))))
Merge.kif 3689-3701
RelazioneBinaria
è
tricotomizzante
su
Classe
RelazioneBinaria
è un'
istanza
di
RelazioneEstesaAQuantit�
Entit�
Entit�
Entit�
è un'
istanza
di
Classe
Entit�
è un'
istanza
di
Classe
RelazioneBinaria
Entit�
and
Entit�
RelazioneBinaria
Entit�
and
Entit�
Entit�
is
uguale
a
Entit�
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
Relazione
%&ha
NumeroInteroPositivo
argomento
(s
Relazione
è un'
istanza
di
Predicato
@ROW
Relazione
@ROW
lunghezza
di (@ROW is
uguale
a
NumeroInteroPositivo
(=>
(
attribute
?OBJ
Wet
)
(
forall
(?PART)
(=>
(
part
?PART ?OBJ)
(
exists
(?SUBPART)
(
and
(
part
?SUBPART ?PART)
(
attribute
?SUBPART
Liquid
))))))
Merge.kif 18013-18021
attribute
Oggetto
and
Wet
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Liquid
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
attribute
AutonomousAgent
and
AeronauticalEngineer
Processo
AutonomousAgent
ha &n
la
capacità di fare
Processo
Processo
Processo
è un'
istanza
di
Processo
Processo
Entit�
and
Processo
T
Processo
è un'
istanza
di
Fabbricazione
Entit�
è un'
istanza
di
Aircraft
Entit�
è un'
istanza
di
Processo
T
typicalPart
Processo
T and
Aircraft
Entit�
è un
risultato
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
Processo
LAN,
Entit�
and
Processo
T
Processo
è un'
istanza
di
Designing
Entit�
è un'
istanza
di
Aircraft
Entit�
è un'
istanza
di
Processo
T
typicalPart
Processo
T and
Aircraft
Processo
LAN è un
risultato
di
Processo
Processo
LAN
esprime
Entit�
Processo
è un
sottoprocesso
di
Processo
(=>
(
attribute
?X
ExclusiveFemaleLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
Female
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1243-1254
attribute
Oggetto
and
ExclusiveFemaleLevel
Entit�Concreta
Entit�Concreta
è un'
istanza
di
HotelRoom
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
Female
stays
Entit�
and
Entit�Concreta
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
attribute
Oggetto
and
ExecutiveLevel
Entit�Concreta
Entit�Concreta
è un'
istanza
di
HotelRoom
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
BusinessExecutive
Entit�
è un'
istanza
di
Umano
stays
Entit�
and
Entit�Concreta
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
average
Lista
and
NumeroReale
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
NumeroReale
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
causesSubclass
Processo
and
Processo
Processo
Processo
è un'
istanza
di
Processo
Processo
Processo
è un'
istanza
di
Processo
Processo
causa
s
Processo
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
climateTypeInArea
AreaGeografica
and
WetTropicalClimateZone
Mese
NumeroReale
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 60.0
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