not
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
e'
igual
a 0
Numero Inteiro
e'
igual
a 0
o
sinal
de
Numero Inteiro
e'
igual
a o
sinal
de
Numero Inteiro
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
(o
maior
numero inteiro menor or igual a
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Inteiro
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18342-18357
Organizacao
e'
igual
a
DepartmentOfFn
Organizacao
and
Fisico
Organizacao
2 e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
2
Entidade
e' uma
instancia
de
Fisico
Organizacao
esta'
interessado
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
Entidade
2 e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
2
Numero Real
e'
maior
que
Entidade
2
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2636-2644
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Objeto
2 e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
2 e' uma &parte de
Objeto
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
Lista
e'
igual
a a
lista
composta de
Lista
e
Lista
Lista
e'
igual
a
NullList
Lista
e'
igual
a
NullList
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(
comprimento
de
Lista
+
Inteiro positivo
)th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(=>
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))
(
instance
?GRAPH
MultiGraph
))
Merge.kif 5790-5799
Arco do Grafo
e' uma &parte de
Grafo
Arco do Grafo
e' uma &parte de
Grafo
No' do Grafo
e' uma &parte de
Grafo
No' do Grafo
e' uma &parte de
Grafo
Arco do Grafo
liga
No' do Grafo
e
No' do Grafo
Arco do Grafo
liga
No' do Grafo
e
No' do Grafo
Arco do Grafo
e'
igual
a
Arco do Grafo
Grafo
e' uma
instancia
de
Multi-grafo
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
Elemento do Grafo
e' uma &parte de
Grafo
Grafo
e' uma
instancia
de
Grafo Orientado
Elemento do Grafo
e' uma
instancia
de o
conjunto
de caminhos entre
No' do Grafo
e
No' do Grafo
Elemento do Grafo
e' uma
instancia
de o
conjunto
de caminhos entre
No' do Grafo
e
No' do Grafo
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
Agente Cognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
Agente Cognitivo
nao
sabe
%n
password
ComputerPassword
and
UserAccount
Agente Cognitivo
sabe
recoveryKey
Entidade
and
UserAccount
Agente Cognitivo
possui
Computer
o argumento
Entidade
Entidade
e' uma
instancia
de
ChangingPassword
UserAccount
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e'
igual
a
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30650-30671
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START comeca
antes
de
Processo
START
Processo
START comeca
antes
de
Processo
START
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12405-12419
Processo
e' uma
instancia
de
Colar
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
objectAttached
Processo
and
Entidade
objectAttached
Processo
and
Entidade
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
e' uma
instancia
de
Automobile
PhysicalSystem
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
Objeto
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
dampingRatio
PhysicalSystem
and
Numero Real
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
AutonomousAgent
e' uma
instancia
de
Animal
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
AutonomousAgent
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Processo Biologico
Transferencia
e' uma
instancia
de
Remover
Transferencia
tem como
origem
AutonomousAgent
Objeto
e' uma
instancia
de
Sewage
Transferencia
e' um
agente
de
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5015-5024
Objeto
e' uma
instancia
de
Bubble
Objeto
Atributo
Atributo
e' um
atributo
de
Objeto
Objeto
e'
igual
a
Gas
Objeto
encontra
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4089-4121
Objeto
e' uma
instancia
de
BimetalTemperatureSensor
Objeto
e' uma
instancia
de
Metal
Objeto
e' uma
instancia
de
Metal
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Medida de Temperatura
Entidade
e' uma
instancia
de
Medida de Temperatura
Numero Real
e' uma
instancia
de
Medida de Comprimento
Numero Real
e' uma
instancia
de
Medida de Comprimento
Numero Real
e' uma
instancia
de
Medida de Comprimento
Numero Real
e' uma
instancia
de
Medida de Comprimento
Entidade
e'
igual
a
Entidade
Posicao Temporal
e'
igual
a
Posicao Temporal
a
medida
de
Objeto
e'
Entidade
a
medida
de
Objeto
e'
Numero Real
a
medida
de
Objeto
e'
Numero Real
vale
durante
Posicao Temporal
a
medida
de
Objeto
e'
Entidade
a
medida
de
Objeto
e'
Numero Real
a
medida
de
Objeto
e'
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
+
Numero Real
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
Colecao
e' uma
instancia
de
Convoy
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
Processo
and
Entidade
Processo
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Processo
termina
em
Entidade
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Objeto
e' uma
instancia
de
Crystal
MonoCrystalline
e' um
atributo
de
Objeto
Objeto auto-conectado
e' uma
instancia
de
Substancia
Solid
e' um
atributo
de
Objeto auto-conectado
PolyCrystalline
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Substancia
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
LNT
Numero Inteiro
and
Objeto
Objeto
LNT e' uma
instancia
de
Colecao
memberCount
Objeto
LNT and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 4
Objeto
e'
membro
de
Objeto
LNT
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
encontra
Objeto
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Processo
e' uma
instancia
de
InPersonCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
AutonomousAgent
e'
Near
em relacao a
AutonomousAgent
vale
durante
Processo
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entidade
e' uma
instancia
de
COVIDAntibody
Covid19
e' um
atributo
de
Entidade
Entidade
e' uma &parte de
Entidade
vale
durante
Posicao Temporal
o argumento
Covid19
e' um
atributo
de
Entidade
tem a
forca
modal
de
Unlikely
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Objeto
e' uma
instancia
de
ComputerCable
Objeto
e' uma
instancia
de
Cable
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
MaleConnector
Objeto
e' uma
instancia
de
FemaleConnector
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
Area Geopolitica
e' uma
instancia
de
AmericanCity
Area Geopolitica
e' uma &parte de
California
Area Geopolitica
e'
igual
a
LosAngelesCalifornia
o numero de
instancias
dentro de
ResidentFn
LosAngelesCalifornia
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Colecao
e' uma
instancia
de
Colecao
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
listingSeller
WebListing
and
AutonomousAgent
WebListing
e'
membro
de
Colecao
Fisico
Fisico
Fisico
e' uma
instancia
de
WebListing
Fisico
e'
membro
de
SellersItemsFn
AutonomousAgent
and
WebSite
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e'
igual
a
WebListing
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
Ponto no tempo
e'
igual
a
Colecao
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 876-887
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
MonoploidChromosomeSet
e'
igual
a
MonoploidChromosomeSet
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
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