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 6635-6640
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 6630-6630
Le nombre 1 argument de
PerFn
est une
instance
de
quantit� physique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6631-6631
Le nombre 2 argument de
PerFn
est une
instance
de
quantit� physique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6628-6628
PerFn
est une
instance
de
fonction binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6629-6629
PerFn
est une
instance
de
relation total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6633-6633
Le
domaine
de
PerFn
est une instance de
function de quantit�
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 6642-6642
DensityFn
est une
sous
-relation de
PerFn
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6654-6654
SpeedFn
est une
sous
-relation de
PerFn
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45102-45102
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45101-45101
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45100-45100
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 823-840
Nombre r�el
McgPerKg
(s) est
PerFn
mesure de masse
and
mesure de masse
mesure de masse
est
nombre r�el
un
millioni
�me de
Gram
(s)
mesure de masse
est
nombre r�el
1
millier
Gram
s(s)
processus
objet en une partie
and
objet en une partie
processus
est une
instance
de
ing�rer
objet en une partie
est une
instance
de
substance biologique active
objet en une partie
est une
instance
de
organisme
objet en une partie
est un
patient
de
processus
processus
est un
agent
de
objet en une partie
weight
objet en une partie
and
mesure de masse
weight
objet en une partie
and
mesure de masse
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 467-492
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
No TPTP formula. May not be expressible in strict first order.
WMD.kif 803-810
effectiveDose
BiochemicalAgent
and
PerFn
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfMass
unit� de mesure
est une
instance
de
UnitOfMass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 860-867
lethalDose
BiochemicalAgent
and
PerFn
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfMass
unit� de mesure
est une
instance
de
UnitOfMass
consequent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 505-511
contractedRentalPrice
physique
,
function de quantit�
and
Agreement
quantit� physique
quantit� physique
quantit� physique
est une
instance
de
mesure de devise
quantit� physique
est une
instance
de
dur�e temporel
function de quantit�
est
PerFn
quantit� physique
and
quantit� physique
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1109-1123
Physique
est une
instance
de
HeavyRaining
entit�
entit�
entit�
est une
instance
de
r�gion
eventLocated
physique
and
entit�
rainfallIntensity
entit�
,
temps
d'existence de
physique
and
PerFn
entit�
Millimeter
(s) and 1
HourDuration
(s)
entit�
est
plus
grand
que 10.0 50.0 est
plus
grand
que
entit�
pendant
temps
d'existence de
physique
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2940-2955
Physique
est une
instance
de
Snowstorm
entit�
entit�
and
entit�
entit�
est une
instance
de
Snowing
entit�
est une
instance
de
secteur g�ographique
eventLocated
entit�
and
entit�
entit�
est un
sous
-processus de
physique
snowfallIntensity
entit�
,
temps
d'existence de
entit�
and
PerFn
entit�
Centimeter
(s) and 1
HourDuration
(s)
entit�
est
plus
grand
que 5.0
pendant
temps
d'existence de
physique
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 459-465
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
quantit� physique
quantit� physique
quantit� physique
est une
instance
de
dur�e temporel
quantit� physique
est une
instance
de
mesure de devise
function de quantit�
est
PerFn
quantit� physique
and
quantit� physique
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 402-407
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
quantit� physique
nombre r�el
and
unit� de mesure
function de quantit�
est
PerFn
quantit� physique
and
nombre r�el
unit� de mesure
(s)
quantit� physique
est une
instance
de
mesure de devise
statement
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13696-13700
1.0
SquareMile
(s) est
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 13706-13710
1.0
SquareYard
(s) est
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 310-310
lethalDose
Batrachotoxin
and
PerFn
2.0 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 325-325
lethalDose
BotulinumToxin
and
PerFn
0.001 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1840-1840
lethalDose
Diacetoxyscirpenol
and
PerFn
23.0 un
milli
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 431-431
lethalDose
RicinToxin
and
PerFn
3.0 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 586-586
lethalDose
Sarin
and
PerFn
100.0 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1339-1339
lethalDose
ShigaToxin
and
PerFn
0.002 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 582-582
lethalDose
Soman
and
PerFn
64.0 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1440-1440
lethalDose
StaphylococcalEnterotoxinB
and
PerFn
0.02 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1845-1845
lethalDose
T2Toxin
and
PerFn
5.2 un
milli
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
No TPTP formula. May not be expressible in strict first order.
WMD.kif 599-599
lethalDose
VX
and
PerFn
15.0 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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