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
MultiplicationFn
Sigma KEE - MultiplicationFn
MultiplicationFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2212-2213
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4703-4705
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 876-877
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4699-4699
Le nombre 1 argument de
MultiplicationFn
est une
instance
de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4700-4700
Le nombre 2 argument de
MultiplicationFn
est une
instance
de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5294-5294
1 est un
MultiplicationFn
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4695-4695
MultiplicationFn
est une
instance
de
fonction associative
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4694-4694
MultiplicationFn
est une
instance
de
fonction binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4696-4696
MultiplicationFn
est une
instance
de
function commutative
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4698-4698
MultiplicationFn
est une
instance
de
relation total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4701-4701
Le
domaine
de
MultiplicationFn
est une instance de
nombre r�el
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 680-680
No TPTP formula. May not be expressible in strict first order.
english_format.kif 682-682
No TPTP formula. May not be expressible in strict first order.
french_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 196-196
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2130-2130
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 422-422
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 887-887
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 234-234
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 435-435
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 457-457
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 377-377
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 39183-39183
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 681-681
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 39182-39182
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 39181-39181
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 378-378
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2080-2090
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
nombre r�el
+
nombre r�el
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5117-5128
Nombre entier
est
plus
grand
nombre entier inf�rieur ou �gal �
nombre entier
+
nombre entier
+
nombre entier
+
nombre entier
) est
nombre entier
nombre entier
reste
nombre entier
est
nombre entier
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2165-2176
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
nombre r�el
est
nombre r�el
+
nombre r�el
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2125-2136
permanentCropLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
nombre r�el
est
nombre r�el
+
nombre r�el
permanentCropLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1107-1115
sectorCompositionOfGDPInPeriod
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
and
interval temporel
totalGDPInPeriod
secteur g�opolitique
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
sectorValueOfGDPInPeriod
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
unit� de mesure
(s) and
interval temporel
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 587-597
simpleInterest
FinancialAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
principalAmount
FinancialAccount
and
nombre r�el
unit� de mesure
(s)
nombre r�el
-Decimal est
nombre r�el
+
nombre r�el
nombre r�el
est
nombre r�el
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
nombre r�el
and
interval temporel
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5968-5982
typicalBloodVolume
mammif�re
and
nombre r�el
unit� de mesure
(s)
bloodVolume
entit�
and
nombre r�el
2
unit� de mesure
(s)
pendant
position temporel
entit�
est une
instance
de
mammif�re
nombre r�el
2 + 2.0 est
plus
grand
que
nombre r�el
nombre r�el
2 est
moins
que 0.8 +
nombre r�el
SevereBloodLoss
est un
attribut
de
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5950-5962
typicalBloodVolume
mammif�re
and
nombre r�el
unit� de mesure
(s)
bloodVolume
entit�
and
nombre r�el
2
unit� de mesure
(s)
pendant
position temporel
entit�
est une
instance
de
mammif�re
nombre r�el
2 + 2.0 est
moins
que
nombre r�el
CatastrophicBloodLoss
est un
attribut
de
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13682-13686
Nombre r�el
est
nombre r�el
nombre r�el
MillenniumDuration
(s) est
nombre r�el
+ 1000
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3912-3919
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1.151
Mile
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3894-3901
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1.852 1
millier
Meter
s(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3885-3892
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1852.0
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3903-3910
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 6076.1
FootLength
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 625-631
Nombre r�el
est
nombre r�el
nombre r�el
SquareKilometer
(s) est
nombre r�el
+ 1000000.0
SquareMeter
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19063-19067
Nombre r�el
est
nombre r�el
nombre r�el
CenturyDuration
(s) est
nombre r�el
+ 100
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8781-8785
Nombre r�el
est
nombre r�el
nombre r�el
DecadeDuration
(s) est
nombre r�el
+ 10
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3844-3848
Nombre r�el
est
nombre r�el
nombre r�el
Fathom
(s) est
nombre r�el
+ 6.0
FootLength
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13617-13621
Nombre r�el
est
nombre r�el
nombre r�el
LongTon
(s) est
nombre r�el
+ 2240.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19082-19088
Nombre r�el
est
nombre r�el
nombre r�el
Nanometer
(s) est
nombre r�el
+ 0.000000001
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13667-13671
Nombre r�el
est
nombre r�el
nombre r�el
RegistryTon
(s) est
nombre r�el
+ 100.0
CubicFoot
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13590-13594
Nombre r�el
est
nombre r�el
nombre r�el
TonMass
(s) est
nombre r�el
+ 2205.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19072-19076
Nombre r�el
est
nombre r�el
nombre r�el
YardLength
(s) est
nombre r�el
FootLength
(s)
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13604-13610
La
mesure
de
physique
est
nombre r�el
MetricTon
(s) la
mesure
de
physique
est
nombre r�el
+ 2205.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 378-380
La
mesure
de
physique
est
nombre r�el
AngularDegree
(s) la
mesure
de
physique
est 60.0 +
nombre r�el
ArcMinute
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 397-399
La
mesure
de
physique
est
nombre r�el
ArcMinute
(s) la
mesure
de
physique
est 60.0 +
nombre r�el
ArcSecond
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2092-2106
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
ArableLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
Muslim
est un
attribut
de
AutonomousAgent
valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
l'argument
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Zakat
entit�
est une
instance
de
ann�e
entit�
prend place
pendant
temps
d'existence de
AutonomousAgent
FullyFormed
est un
attribut
de
AutonomousAgent
pendant
entit�
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfCurrency
entit�
est
plus
grand
que
mesure de devise
+ 0.025 a la
force
modale
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Geography.kif 659-669
comparativeArea
secteur g�ographique
,
BinaryRelationExtendedToQuantities
,
nombre r�el positif
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s)
BinaryRelationExtendedToQuantities
nombre r�el
unit� de mesure
(s) and
nombre r�el positif
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13565-13574
defaultMeasure
objet
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
l'argument
entit�
nombre r�el
UANTITY
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
unit� de mesure
(s)
nombre r�el
UANTITY est
plus
grand
que
nombre r�el
+ 1.5 a la
force
modale
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13576-13585
defaultMeasure
objet
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
l'argument
entit�
nombre r�el
UANTITY
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
unit� de mesure
(s)
nombre r�el
UANTITY est
moins
que
nombre r�el
+ .5 a la
force
modale
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5104-5115
Nombre entier
reste
nombre entier
est
nombre entier
nombre entier
est
plus
grand
nombre entier inf�rieur ou �gal �
nombre entier
+
nombre entier
+
nombre entier
+
nombre entier
) est
nombre entier
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1482-1493
Nombre r�el
est
VarianceAverageFn
nombre r�el
and
liste
1 est
longueur
de
liste
nombre r�el
est
nombre r�el
+ 1th
liste
) + (
nombre r�el
+ 1th
liste
)
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5915-5924
Humain
est une
instance
de
HumanAdult
la
mesure
de
humain
est
nombre r�el
Pounds
(s)
bloodVolume
humain
and
nombre r�el
2
Liter
(s)
nombre r�el
2 est
nombre r�el
+ 0.07 + 2.33
No TPTP formula. May not be expressible in strict first order.
Food.kif 2969-2986
Objet
est une
instance
de
OnePercentMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Food.kif 2993-3011
Objet
est une
instance
de
SemiSkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.015 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.02 +
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Food.kif 3018-3036
Objet
est une
instance
de
SkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.005 +
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Food.kif 2945-2962
Objet
est une
instance
de
TwoPercentMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Food.kif 2851-2869
Objet
est une
instance
de
WholeMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0325 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.05 +
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5086-5091
Nombre r�el
est une
instance
de
nombre entier
nombre r�el
est
nombre r�el
+ le
reciproque
de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3102-3116
Position temporel
est une
instance
de
ElectricalTransformer
WireCoil
est une
instance
de
WireCoil
WireCoil
est une
instance
de
WireCoil
coilCount
WireCoil
and
nombre entier
coilCount
WireCoil
and
nombre entier
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre entier
+
nombre entier
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1528-1543
WaterWave
est une
instance
de
WaterWave
waveHeight
WaterWave
and
mesure de longueur
liste
plan d'eau
,
unit� de mesure
and
nombre r�el
mesure de longueur
est un
membre
de
liste
plan d'eau
est une
instance
de
plan d'eau
eventLocated
WaterWave
and
plan d'eau
unit� de mesure
est une
instance
de
UnitOfLength
significantWaveHeight
plan d'eau
,
temps
d'existence de
WaterWave
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
StandardDeviationFn
liste
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2178-2196
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
zone de terre
secteur g�ographique
est une
instance
de
ArableLand
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2138-2152
permanentCropLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2229-2239
AutonomousAgent
poss
�de
objet
la
mesure
de
objet
est
nombre r�el
ShareUnit
(s)
splitFor
StockSplit
,
nombre entier
and
nombre entier
entit�
est
nombre r�el
+
nombre entier
entit�
est
entit�
+
nombre entier
la
mesure
de
objet
est
entit�
ShareUnit
(s)
pendant
immediatement
apr
�s
temps
d'existence de
StockSplit
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 538-548
principalAmount
FinancialAccount
and
nombre r�el
unit� de mesure
(s)
fixedInterestRate
FinancialAccount
and
nombre r�el
simpleInterest
FinancialAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
-Decimal est
nombre r�el
+ 100
nombre r�el
est
nombre r�el
+
nombre r�el
-Decimal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17928-17953
relativeAngle
objet
,
objet
and
nombre r�el
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
le
longueur
de
objet
est
nombre r�el
1
unit� de mesure
(s) le
longueur
de
objet
est
nombre r�el
2
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
3
unit� de mesure
(s)
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
nombre r�el
est
ArcCosineFn
((
nombre r�el
3 +
nombre r�el
3 +
nombre r�el
1 +
nombre r�el
1) +
nombre r�el
2 +
nombre r�el
2) + 2.0 +
nombre r�el
1 +
nombre r�el
2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 2782-2795
Flat
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
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.
Geography.kif 402-402
Nombre r�el
ArcMinute
(s) est
nombre r�el
ArcSecond
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 383-383
Nombre r�el
AngularDegree
(s) est
nombre r�el
ArcMinute
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7151-7153
Nombre r�el
Amu
(s) est
nombre r�el
+ 1.6605402E-24
Gram
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7173-7175
Nombre r�el
Angstrom
(s) est
nombre r�el
+ 1.0E-10
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7367-7369
Nombre r�el
AngularDegree
(s) est
nombre r�el
+
pi
+ 180.0
Radian
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7353-7355
Nombre r�el
BritishThermalUnit
(s) est
nombre r�el
+ 1055.05585262
Joule
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7425-7427
Nombre r�el
Byte
(s) est
nombre r�el
+ 8
Bit
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7345-7347
Nombre r�el
Calorie
(s) est
nombre r�el
+ 4.1868
Joule
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6780-6782
Nombre r�el
Centimeter
(s) est
nombre r�el
+ 0.01
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7087-7089
Nombre r�el
DayDuration
(s) est
nombre r�el
+ 24
HourDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7161-7163
Nombre r�el
ElectronVolt
(s) est
nombre r�el
+ 1.60217733E-19
Joule
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7405-7407
Nombre r�el
EuroCent
(s) est
nombre r�el
+ 0.01
EuroDollar
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7186-7188
Nombre r�el
FootLength
(s) est
nombre r�el
+ 0.3048
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7095-7097
Nombre r�el
HourDuration
(s) est
nombre r�el
+ 60
MinuteDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7193-7195
Nombre r�el
Inch
(s) est
nombre r�el
+ 0.0254
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7435-7437
Nombre r�el
KiloByte
(s) est
nombre r�el
+ 1024
Byte
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7279-7282
Nombre r�el
Kilogram
(s) est
nombre r�el
+ 1000
Gram
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6799-6802
Nombre r�el
Kilometer
(s) est
nombre r�el
+ 1000
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7445-7447
Nombre r�el
MegaByte
(s) est
nombre r�el
+ 1024
KiloByte
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7097-7100
Nombre r�el
Micrometer
(s) est
nombre r�el
+ 0.0000001
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7200-7202
Nombre r�el
Mile
(s) est
nombre r�el
+ 1609.344
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6789-6792
Nombre r�el
Millimeter
(s) est
nombre r�el
+ 0.001
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7103-7105
Nombre r�el
MinuteDuration
(s) est
nombre r�el
+ 60
SecondDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7335-7337
Nombre r�el
PoundForce
(s) est
nombre r�el
+ 4.448222
Newton
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7296-7298
Nombre r�el
PoundMass
(s) est
nombre r�el
+ 453.59237
Gram
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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