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
PerFn
Sigma KEE - PerFn
PerFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2476-2479
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6636-6641
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1169-1173
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6631-6631
O argumento numero 1 de
PerFn
e' uma
instancia
de
Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6632-6632
O argumento numero 2 de
PerFn
e' uma
instancia
de
Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6629-6629
PerFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6630-6630
PerFn
e' uma
instancia
de
Relacao Total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6634-6634
O
contra
-dominio de
PerFn
e' uma instancia de
Funcao de Quantidade
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1935-1935
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1934-1934
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1933-1933
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6643-6643
DensityFn
e' uma
sub
-relacao de
PerFn
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6655-6655
SpeedFn
e' uma
sub
-relacao de
PerFn
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45104-45104
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45103-45103
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45102-45102
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 823-840
Numero Real
McgPerKg
(s) e'
igual
a
PerFn
Medida de Massa
and
Medida de Massa
Medida de Massa
e'
igual
a
Numero Real
um
milhonesimo
de
Gram
(s)
Medida de Massa
e'
igual
a
Numero Real
1
mil
Gram
s(s)
Processo
Objeto auto-conectado
and
Objeto auto-conectado
Processo
e' uma
instancia
de
Ingerir
Objeto auto-conectado
e' uma
instancia
de
Substancia Biologica Ativa
Objeto auto-conectado
e' uma
instancia
de
Organismo
Objeto auto-conectado
e' um
patient
de
Processo
Processo
e' um
agente
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Medida de Massa
weight
Objeto auto-conectado
and
Medida de Massa
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
WMD.kif 803-810
effectiveDose
BiochemicalAgent
and
PerFn
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfMass
Unidade de Medida
e' uma
instancia
de
UnitOfMass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 860-867
lethalDose
BiochemicalAgent
and
PerFn
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfMass
Unidade de Medida
e' uma
instancia
de
UnitOfMass
consequent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 505-511
contractedRentalPrice
Fisico
,
Funcao de Quantidade
and
Agreement
Quantidade Fisica
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Medida de Divisa
Quantidade Fisica
e' uma
instancia
de
Duracao Temporal
Funcao de Quantidade
e'
igual
a
PerFn
Quantidade Fisica
and
Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1093-1107
Fisico
e' uma
instancia
de
HeavyRaining
Entidade
Entidade
Entidade
e' uma
instancia
de
Regiao
eventLocated
Fisico
and
Entidade
rainfallIntensity
Entidade
,
tempo
de existencia de
Fisico
and
PerFn
Entidade
Millimeter
(s) and 1
HourDuration
(s)
Entidade
e'
maior
que 10.0 50.0 e'
maior
que
Entidade
vale
durante
tempo
de existencia de
Fisico
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2923-2938
Fisico
e' uma
instancia
de
Snowstorm
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Snowing
Entidade
e' uma
instancia
de
Area Geografica
eventLocated
Entidade
and
Entidade
Entidade
e' um
sub
-processo de
Fisico
snowfallIntensity
Entidade
,
tempo
de existencia de
Entidade
and
PerFn
Entidade
Centimeter
(s) and 1
HourDuration
(s)
Entidade
e'
maior
que 5.0
vale
durante
tempo
de existencia de
Fisico
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 459-465
rentalPrice
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Quantidade Fisica
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Duracao Temporal
Quantidade Fisica
e' uma
instancia
de
Medida de Divisa
Funcao de Quantidade
e'
igual
a
PerFn
Quantidade Fisica
and
Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 402-407
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Quantidade Fisica
Numero Real
and
Unidade de Medida
Funcao de Quantidade
e'
igual
a
PerFn
Quantidade Fisica
and
Numero Real
Unidade de Medida
(s)
Quantidade Fisica
e' uma
instancia
de
Medida de Divisa
statement
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13723-13727
1.0
SquareMile
(s) e'
igual
a
PerFn
1.0
Mile
(s) and 1.0
Mile
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13733-13737
1.0
SquareYard
(s) e'
igual
a
PerFn
1.0
YardLength
(s) and 1.0
YardLength
(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 439-439
lethalDose
AbrinToxin
and
PerFn
0.04 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 310-310
lethalDose
Batrachotoxin
and
PerFn
2.0 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 325-325
lethalDose
BotulinumToxin
and
PerFn
0.001 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1840-1840
lethalDose
Diacetoxyscirpenol
and
PerFn
23.0 um
milesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 431-431
lethalDose
RicinToxin
and
PerFn
3.0 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 586-586
lethalDose
Sarin
and
PerFn
100.0 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1339-1339
lethalDose
ShigaToxin
and
PerFn
0.002 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 582-582
lethalDose
Soman
and
PerFn
64.0 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1440-1440
lethalDose
StaphylococcalEnterotoxinB
and
PerFn
0.02 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1845-1845
lethalDose
T2Toxin
and
PerFn
5.2 um
milesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 599-599
lethalDose
VX
and
PerFn
15.0 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
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
PerFn