not
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
Colecao
e' uma
instancia
de
MonoploidChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
Chromosome
e'
membro
de
Colecao
Chromosome
e'
membro
de
Colecao
Chromosome
e'
igual
a
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Objeto
e' uma
instancia
de
Substancia Composta
Substancia Composta
e' uma
sub
-classe de
Substancia Composta
Objeto
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma &parte de
Objeto
molecularRatio
Substancia Elementar
,
Numero Inteiro
and
Substancia Composta
Colecao
e' uma
instancia
de
Grupo
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Substancia Elementar
memberCount
Colecao
and
Numero Inteiro
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
Objeto
e' uma
instancia
de
Antidiuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
Processo
e' uma
instancia
de
DeliveryService
Processo
termina
em
Entidade
deliveryRegion
AutonomousAgent
and
Area Geografica
a
probabilidade
de
Entidade
e'
situado
em
Area Geografica
sabendo que
Processo
e' um
agente
de
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
e'
situado
em
Area Geografica
sabendo que
Processo
e' um
agente
de
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processo
e' uma
instancia
de
Descolar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
objectDetached
Processo
and
Entidade
objectDetached
Processo
and
Entidade
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
Processo
e' uma
instancia
de
DefensiveInformationOperation
Processo
e' um
agente
de
Agente Cognitivo
enemy
Agente Cognitivo
and
Agente Cognitivo
Agente Cognitivo
deseja
Agente Cognitivo
sabe
Entidade
Agente Cognitivo
deseja
Agente Cognitivo
nao
sabe
%n
Entidade
Processo
tem por
fim
Agente Cognitivo
nao
sabe
%n
Entidade
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1893-1900
Election
e' uma
instancia
de
PopularElection
electionWinner
Election
,
Role Social
and
AutonomousAgent
voteFractionReceived
Election
,
Role Social
,
AutonomousAgent
and
Numero Real
voteFractionReceived
Election
,
Role Social
,
AutonomousAgent
and
Numero Real
AutonomousAgent
e'
igual
a
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e'
igual
a
Objeto
Processo
e' uma
instancia
de
Sintese Quimica
Objeto
e' um
recurso
para
Processo
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Substancia Composta
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
Entidade
e' uma
instancia
de
Electromagnet
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Electricity
objectTransferred
Entidade
and
Entidade
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
vale
durante
Entidade
1
Entidade
Entidade
e' uma
instancia
de
Magnetism
Entidade
e' um
instrumento
para
Entidade
vale
durante
Entidade
1
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5630-5650
Grafo
e' uma
instancia
de
Grafo
No' do Grafo
e' uma
instancia
de
No' do Grafo
No' do Grafo
e' uma
instancia
de
No' do Grafo
No' do Grafo
e' uma &parte de
Grafo
No' do Grafo
e' uma &parte de
Grafo
No' do Grafo
e'
igual
a
No' do Grafo
Arco do Grafo
Caminho do Grafo
Arco do Grafo
liga
No' do Grafo
e
No' do Grafo
Caminho do Grafo
e' um
sub
-grafo de
Grafo
Caminho do Grafo
e' uma
instancia
de
Caminho do Grafo
o
comeco
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
fim
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
comeco
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
fim
de
Caminho do Grafo
e'
igual
a
No' do Grafo
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
GUIElement
e' uma
instancia
de
GUIElement
GUIElement
e' uma
instancia
de
GUIElement
GUIElement
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
GUIElement
e' uma &parte de
GUIElement
GUIElement
e'
igual
a
GUIElement
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Organismo
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
Objeto
e' uma
instancia
de
Primata
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Foot
Objeto
e' uma
instancia
de
Foot
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
Objeto
e' uma
instancia
de
Primata
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Leg
Objeto
e' uma
instancia
de
Leg
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
Objeto
e' uma
instancia
de
Primata
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma
instancia
de
Lung
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
Objeto auto-conectado
e' uma
instancia
de
Isthmus
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Objeto
Objeto
,
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
e' uma
instancia
de
Area terrestre
Objeto auto-conectado
esta'
entre
Objeto
e
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto auto-conectado
encontra
Objeto
Objeto auto-conectado
encontra
Objeto
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Objeto
e' uma
instancia
de
Lever
Processo
e' uma
instancia
de
Pushing
Fisico
e' uma
instancia
de
Movimento
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Processo
termina
em
Objeto
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
situado
em
Processo
1
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
2
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
3
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
4
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
a
distancia
entre
Processo
1 e
Processo
2 e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Processo
3 e
Processo
4 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
relativeAngle
Objeto
,
Objeto
and
Numero Real
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
Objeto
e' uma
instancia
de
Continente
Objeto
e'
igual
a
Antarctica
Antarctica
e'
South
em relacao a
Objeto
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Lista
e' uma
instancia
de
Lista
Lista
e'
igual
a
NullList
FirstFn
Lista
e'
igual
a 1th
elemento
de
Lista
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
Processo
e' uma
instancia
de
OrganizationalMerging
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
igual
a
Entidade
Entidade
Entidade
e' uma parte da organizacao
Entidade
Entidade
e' uma parte da organizacao
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma parte da organizacao
Entidade
Entidade
e' uma parte da organizacao
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
e' uma
instancia
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
PreparedFood
Fisico
e' uma
instancia
de
Classe
Fisico
e' uma
instancia
de
Entidade
Fisico
e'
igual
a
Fisico
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Medida de Divisa
e'
igual
a
Medida de Divisa
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
Substancia
e' uma
instancia
de
Mistura
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Mistura
Substancia
e' uma
instancia
de
Substancia Pura
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