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
e' uma
instancia
de
Manter
Entidade
e' um
patient
de
Processo
Entidade
Posicao Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
Posicao Temporal
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
e' uma &parte de
Objeto auto-conectado
GeometricPoint
e' um
atributo
de
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
OneDimensionalFigure
a
tangente
de
Objeto auto-conectado
e'
OneDimensionalFigure
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
Humano
e' uma
instancia
de
Humano
DescendantsFn
Humano
e'
igual
a
Grupo Familiar
Organismo
Organismo
e'
membro
de
Grupo Familiar
ancestor
Organismo
and
Humano
(=>
(
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
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
e'
igual
a
Intervalo Temporal
Ponto no tempo
Ponto no tempo
e'
entre
ou durante
Ponto no tempo
e
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
(=>
(
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
e' uma
instancia
de
DailyHousekeepingPolicy
policyOwner
Organizacao
and
Policy
o argumento
Entidade
Entidade
and
Entidade
guest
Entidade
and
Organizacao
stays
Entidade
and
Entidade
Entidade
e'
igual
a
tempo
de existencia de
stays
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Dia
Entidade
acontece
durante
Entidade
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
Entidade
acontece
durante
Entidade
vale
durante
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?RELATION
ReflexiveRelation
)
(
reflexiveOn
?RELATION ?CLASS)
(
instance
?RELATION
Predicate
))
(
forall
(?INST)
(=>
(
instance
?INST ?CLASS)
(?RELATION ?INST ?INST))))
Merge.kif 3610-3618
Relacao Binaria
e' uma
instancia
de
Relacao Reflexiva
Relacao Binaria
e'
reflivo
em
Classe
Relacao Binaria
e' uma
instancia
de
Predicado
Entidade
Entidade
e' uma
instancia
de
Classe
Relacao Binaria
Entidade
and
Entidade
(=>
(
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
Entidade
_COLL e' uma
instancia
de
Colecao
Entidade
_COLL e' uma
instancia
de
Colecao
Experimenting
e' uma
instancia
de
Experimenting
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
Experimenting
e' um
agente
de
Agente Cognitivo
statisticalPopulation
Entidade
_COLL,
Entidade
_COLL and
Experimenting
Atributo
Atributo
e' uma
instancia
de
Atributo
Entidade
_COLL tem um
atributo
de
Atributo
Agente Cognitivo
esta'
interessado
em
Atributo
Atributo
e'
igual
a
RepresentativeSample
Entidade
_COLL tem um
atributo
de
Atributo
(=>
(
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
Colecao
e' uma
instancia
de
ClothingSuit
Fisico
e'
membro
de
Colecao
Entidade
usa
Fisico
vale
durante
Posicao Temporal
Fisico
Fisico
e'
membro
de
Colecao
Entidade
usa
Fisico
vale
durante
Posicao Temporal
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
Objeto Corpuscular
e' uma
instancia
de
HypertextLink
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AccessingWebPage
Colecao
e' um
componente
de
Objeto Corpuscular
Colecao
Colecao
e' uma
instancia
de
Colecao
Processo
Processo
e' uma
instancia
de
RequestingHyperlink
Objeto Corpuscular
e' um
patient
de
Processo
Processo
e'
membro
de
Colecao
ClickThroughRateFn
Colecao
and
Objeto Corpuscular
e'
igual
a o numero de
instancias
dentro de
Colecao
+ o numero de
instancias
dentro de
Colecao
(=>
(
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
e' uma
instancia
de
Guerra
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
e' uma
instancia
de
Organizacao
Fisico
Fisico
e'
membro
de
AutonomousAgent
Fisico
e' uma
instancia
de
Area Geopolitica
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
Objeto
e' uma
instancia
de
Buffet
Breakfast
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
e'
membro
de
Objeto
Breakfast
e' um
atributo
de
Entidade
tem a
forca
modal
de
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
Colecao
e' uma
instancia
de
Outfit
Fisico
e'
membro
de
Colecao
Entidade
usa
Fisico
vale
durante
Posicao Temporal
Fisico
Fisico
e'
membro
de
Colecao
Entidade
usa
Fisico
vale
durante
Posicao Temporal
(=>
(
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
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Numero Real
Colecao
e' uma
instancia
de
GroupOfPeople
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
HumanAdult
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 60
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Funcao de Quantidade
e'
igual
a
PerFn
Medida de Divisa
and a
medida
de
Numero Real
e'
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Entidade
e' uma
instancia
imediata de
Fisico
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
existe
durante
Numero Real
INT
Intervalo Temporal
Numero Real
Numero Real
INT acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
Agente Cognitivo
Transacao Financeira
e' um
agente
de
AutonomousAgent
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
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
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Fisico
Objeto
e' uma
instancia
de
HotelUnit
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
Objeto
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
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
Relacao Binaria
e'
tricotomizado
en
Classe
Relacao Binaria
e' uma
instancia
de
Relacao estendida a Quantidades
Entidade
Entidade
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Relacao Binaria
Entidade
and
Entidade
Relacao Binaria
Entidade
and
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
Relacao
tem
Inteiro positivo
argumento
(s)
Relacao
e' uma
instancia
de
Predicado
@ROW
Relacao
@ROW
comprimento
de (@ROW) e'
igual
a
Inteiro positivo
(=>
(
attribute
?OBJ
Wet
)
(
forall
(?PART)
(=>
(
part
?PART ?OBJ)
(
exists
(?SUBPART)
(
and
(
part
?SUBPART ?PART)
(
attribute
?SUBPART
Liquid
))))))
Merge.kif 18013-18021
Wet
e' um
atributo
de
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Liquid
e' um
atributo
de
Objeto
(=>
(
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
AeronauticalEngineer
e' um
atributo
de
AutonomousAgent
Processo
AutonomousAgent
tem a
capacidade
de fazer
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Fazer
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Entidade
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
Processo
LAN,
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Designing
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Processo
LAN e' o
resultado
de
Processo
Processo
LAN
define
Entidade
Processo
e' um
sub
-processo de
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
ExclusiveFemaleLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
Female
e' um
atributo
de
Entidade
stays
Entidade
and
Fisico
(=>
(
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
ExecutiveLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Humano
stays
Entidade
and
Fisico
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
average
Lista
and
Numero Real
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Numero Real
(=>
(
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
e' uma
instancia
de
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
causa
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
Area Geografica
and
WetTropicalClimateZone
Mes
Numero Real
Mes
e' uma
instancia
de
Mes
averageRainfallForPeriod
Area Geografica
,
Mes
and
Numero Real
um
milesimo
de
Meter
(s)
Numero Real
e'
maior
ou igual 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