=>
(=>
(
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
(=>
(
atomicNumber
?TYPE ?NUMBER)
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
part
?ATOM ?SUBSTANCE)
(
instance
?ATOM
Atom
))
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?PROTON
(
and
(
part
?PROTON ?ATOM)
(
instance
?PROTON
Proton
)))))))
Merge.kif 13800-13812
atomicNumber
Substancia Elementar
and
Inteiro positivo
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Atomo
Inteiro positivo
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
ObsessiveCompulsiveDisorder
e' um
atributo
de
Agente Cognitivo
Colecao
Classe
memberType
Colecao
and
Classe
Classe
e' uma
sub
-classe de
Investigacao
Classe
e' uma
sub
-classe de
Cleaning
Classe
I e' uma
instancia
de
Classe
Classe
I e' um
agente
de
Agente Cognitivo
Agente Cognitivo
nao
quer
%n
Classe
I
(=>
(
attribute
?OBJ
Wet
)
(
forall
(?PART)
(=>
(
part
?PART ?OBJ)
(
exists
(?SUBPART)
(
and
(
part
?SUBPART ?PART)
(
attribute
?SUBPART
Liquid
))))))
Merge.kif 18035-18043
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
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
OpenLayout
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Comodo
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Regiao
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
situado
em
Objeto
Objeto
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
Formula
Formula
Formula
e' uma
instancia
de
Processo
Formula
e' uma
instancia
de
Processo
Objeto
tem por
fim
Formula
Objeto
tem por
fim
Formula
Objeto
e' uma
instancia
de
AutonomousAgent
Objeto
e'
situado
em
Objeto
Objeto
e'
capaz
de fazer
Visao
no role
agent
Objeto
e'
capaz
de fazer
Visao
no role
patient
(=>
(
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
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10385-10397
breathingRate
Lung
,
Intervalo Temporal
and
Numero Inteiro
Colecao
Processo
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Breath
memberCount
Colecao
and
Numero Inteiro
Processo
e'
membro
de
Colecao
Lung
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
capacityByArrangement
Regiao
,
Proposicao
and
Numero Inteiro
Regiao
define
Proposicao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
Entidade
e'
situado
em
Regiao
tem a
forca
modal
de
Possibility
(=>
(
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
(=>
(
coilCount
?WC ?N)
(
exists
(?C ?C2F)
(
and
(
instance
?C
Collection
)
(
memberCount
?C ?N)
(
forall
(?M)
(=>
(
member
?M ?C)
(
and
(
attribute
?M ?C2F)
(
instance
?C2F
ClosedTwoDimensionalFigure
)
(
part
?M ?WC)
(
not
(
exists
(?M2)
(
and
(
overlapsSpatially
?M2 ?M)
(
member
?M2 ?C))))))))))
Cars.kif 3124-3141
coilCount
WireCoil
and
Numero Inteiro
Colecao
Colecao
2F
Colecao
e' uma
instancia
de
Colecao
memberCount
Colecao
and
Numero Inteiro
Objeto
Objeto
e'
membro
de
Colecao
Colecao
2F e' um
atributo
de
Objeto
Colecao
2F e' uma
instancia
de
ClosedTwoDimensionalFigure
Objeto
e' uma &parte de
WireCoil
Objeto
2
Objeto
2
engloba
Objeto
Objeto
2 e'
membro
de
Colecao
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10061-10066
Objeto
completa
completemente
Buraco
Objeto
Objeto
e'
conectado
com
Buraco
Objeto
e'
conectado
com
Objeto
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
@ROW e' &o oposto de
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
(=>
(
copy
?OBJ1 ?OBJ2)
(
forall
(?ATTR)
(=>
(
attribute
?OBJ1 ?ATTR)
(
attribute
?OBJ2 ?ATTR))))
Merge.kif 3855-3860
Objeto
e' uma
copia
exata de
Objeto
Atributo
Atributo
e' um
atributo
de
Objeto
Atributo
e' um
atributo
de
Objeto
(=>
(
discography
?A ?D)
(
forall
(?X)
(=>
(
member
?X ?D)
(
exists
(?I)
(
musician
?X ?A ?I)))))
Music.kif 243-249
discography
Humano
and
Discography
MusicRecording
MusicRecording
e'
membro
de
Discography
MakingMusic
musician
MusicRecording
,
Humano
and
MakingMusic
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' uma
sub
-classe de
Classe
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' um
membro
de (@ROW)
Classe
e'
igual
a
Classe
Classe
e'
disjunto
de
Classe
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
@ROW e'
disjuntamente
decomponivel
em @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
(=>
(
electronNumber
?SUBSTANCE ?NUMBER)
(=>
(
exists
(?ATOM)
(
and
(
part
?ATOM ?SUBSTANCE)
(
or
(
instance
?ATOM
Atom
)
(
instance
?ATOM
Molecule
))))
(
exists
(?ELECTRON)
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?ELECTRON
(
and
(
part
?ELECTRON ?ATOM)
(
instance
?ELECTRON
Electron
))))))))
Mid-level-ontology.kif 21712-21727
electronNumber
Substancia Pura
and
Inteiro positivo
Objeto
Objeto
e' uma &parte de
Substancia Pura
Objeto
e' uma
instancia
de
Atomo
Objeto
e' uma
instancia
de
Molecula
Sequencia Simbolica
Inteiro positivo
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 8020-8027
O
comeco
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8038-8045
O
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
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