Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
LeftProximalPhalanxVBone
Sigma KEE - or
or
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42382-42382
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24713-24720
PostalPlace
e'
situado
em
Area Geopolitica
PostalPlace
e' uma
instancia
de
PostalPlace
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14079-14089
agreementClause
Proposicao
,
Atributo Deontico
,
Agreement
and
Agente Cognitivo
Atributo Deontico
e'
igual
a
Obligation
Atributo Deontico
e'
igual
a
Promise
o argumento
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 26159-26171
WheelchairAccessible
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e' uma
instancia
de
Comodo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Movimento
Entidade
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Wheelchair
eventLocated
Entidade
and
Objeto
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Biography.kif 730-740
Writer
e' um
atributo
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Texto
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Document
Processo
e' uma
instancia
de
Escrever
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
Intervalo Temporal
and
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de
Minuto
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
HumanAdult
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Inteiro
e'
maior
que 16
Numero Inteiro
e'
menos
que 12
Healthy
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2112-2121
electricityConsumptionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityConsumption
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2156-2165
electricityExportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityExport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2202-2211
electricityImportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityImport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1980-1989
electricityProductionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityProduction
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5993-6006
O
valor
de
Caminho do Grafo
e'
igual
a
Numero Real
Arco do Grafo
e' uma &parte de
Caminho do Grafo
Arco do Grafo
e' uma &parte de
Caminho do Grafo
o
valor
de
Arco do Grafo
e'
Numero Real
o
valor
de
Arco do Grafo
e'
Numero Real
Elemento do Grafo
Elemento do Grafo
e' uma &parte de
Caminho do Grafo
Elemento do Grafo
e'
igual
a
Arco do Grafo
Elemento do Grafo
e'
igual
a
Arco do Grafo
o
valor
de
Caminho do Grafo
e'
igual
a (
Numero Real
+
Numero Real
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5979-5991
O
valor
de
Caminho do Grafo
e'
igual
a
Numero Real
Caminho do Grafo
e' um
sub
-grafo de
Caminho do Grafo
Arco do Grafo
e' uma &parte de
Caminho do Grafo
o
valor
de
Arco do Grafo
e'
Numero Real
Elemento do Grafo
Elemento do Grafo
e' uma &parte de
Caminho do Grafo
Elemento do Grafo
e' uma &parte de
Caminho do Grafo
Elemento do Grafo
e'
igual
a
Arco do Grafo
Numero Real
e'
igual
a (o
valor
de
Caminho do Grafo
+
Numero Real
)
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4532-4543
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OilFromPlant
Objeto
e' uma
sub
-classe de
Seed
Objeto
e' uma
sub
-classe de
Fruit
Objeto
Objeto
e' uma
sub
-classe de
Planta Florindo
initialPart
Objeto
and
Objeto
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2277-2286
exportTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualExportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
price
Objeto
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
price
Processo
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
price
Objeto
, 0
UnitedStatesDollar
(s) and
Humano
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s) and
Humano
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1838-1860
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1862-1884
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2123-2130
annualElectricityConsumption
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityConsumptionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2167-2174
annualElectricityExport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityExportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2213-2220
annualElectricityImport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityImportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1991-1998
annualElectricityProduction
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
electricityProductionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2288-2295
annualExportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
exportTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2594-2601
annualImportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
importTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4768-4779
O
valor
absoluto
de
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real
Numero Real nao-negativo
e' uma
instancia
de
Numero Real
Numero Real
e' uma
instancia
de
Numero Real nao-negativo
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real negativo
Numero Real nao-negativo
e'
igual
a (0.0 +
Numero Real
)
No TPTP formula. May not be expressible in strict first order.
Government.kif 1400-1404
Queen
e' um
atributo
de
Objeto
QueenRegnant
e' um
atributo
de
Objeto
QueenConsort
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1885-1889
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
igual
a
Numero Real
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1601-1607
LegalAgent
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
Acao Legal
no role
agent
Entidade
e'
capaz
de fazer
Acao Legal
no role
patient
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11682-11689
Objeto
e' uma
instancia
de
Osso
Objeto
Objeto
e' uma
instancia
de
Skeleton
Objeto
e' uma
instancia
de
Exoskeleton
Objeto
e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3504-3513
Entidade
e' uma
instancia
de
Continente
Africa
e'
igual
a
Entidade
NorthAmerica
e'
igual
a
Entidade
SouthAmerica
e'
igual
a
Entidade
Antarctica
e'
igual
a
Entidade
Europe
e'
igual
a
Entidade
Asia
e'
igual
a
Entidade
Oceania
e'
igual
a
Entidade
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3488-3494
Entidade
e' uma
instancia
de
Hemisphere
Entidade
e'
igual
a
NorthernHemisphere
Entidade
e'
igual
a
SouthernHemisphere
Entidade
e'
igual
a
EasternHemisphere
Entidade
e'
igual
a
WesternHemisphere
No TPTP formula. May not be expressible in strict first order.
Government.kif 108-115
Organizacao
e' uma
instancia
de
GovernmentOrganization
Organizacao
e' uma
instancia
de
Governo
Organizacao
Organizacao
e' uma
instancia
de
Governo
Organizacao
e' uma parte da organizacao
Organizacao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1867-1871
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
igual
a
Numero Real
Numero Real
e'
menos
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
Objeto
e'
Below
em relacao a
Objeto
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
Above
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Government.kif 738-753
agreementRevisionDate
Proposicao
,
Posicao Temporal
and
Proposicao
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
Medida de Divisa
and
Posicao Temporal
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31387-31394
applicableRelation
Objeto
and
Relacao
Objeto
e' uma
instancia
de
Objeto
C o argumento numero 1 de
Relacao
e' uma
instancia
de
Classe
Objeto
C e'
igual
a
Classe
Objeto
C e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Military.kif 286-297
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
CommissionedOfficerRank
Processo
Objeto
Processo
e' uma
instancia
de
Administrar
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
MilitaryOrganization
Soldier
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2881-2897
FOKOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2917-2933
GTCOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2854-2870
IOCOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25748-25761
Multilingual
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Speaking
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e'
igual
a
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13841-13854
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
maior
ou igual a
Numero Real
Gas
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Ferver
Entidade
e' um
patient
de
Processo
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 2392-2407
customer
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Porter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
possui
Objeto
Objeto
e' uma
instancia
de
TravelContainer
Objeto
Processo
Objeto
e' uma
instancia
de
HotelUnit
Processo
e' uma
instancia
de
Carrying
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Objeto
Processo
tem como
origem
Objeto
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Entidade
e' uma
instancia
de
Fisico
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 522-538
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 221-227
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 244-250
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Military.kif 933-946
ReachingMilitaryAgeAnnuallyMaleFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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