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
MeasureFn
Sigma KEE - MeasureFn
MeasureFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2434-2436
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6352-6356
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1125-1128
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6348-6348
Le nombre 1 argument de
MeasureFn
est une
instance
de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6349-6349
Le nombre 2 argument de
MeasureFn
est une
instance
de
unit� de mesure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6346-6346
MeasureFn
est une
instance
de
fonction binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6347-6347
MeasureFn
est une
instance
de
relation total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6350-6350
Le
domaine
de
MeasureFn
est une instance de
quantit� physique
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order.
english_format.kif 636-636
No TPTP formula. May not be expressible in strict first order.
french_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 178-178
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 335-335
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 829-829
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 405-405
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 426-426
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36671-36671
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 634-634
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36670-36670
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36669-36669
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 353-353
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7524-7530
Objet en une partie
est une
instance
de
LiquidDrop
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 500.0 est
moins
que
nombre r�el
objet en une partie
est une
instance
de
Droplet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
10
objet
10 est une
instance
de
CoarseParticulateMatter
objet
10 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3731-3733
courseWRTTrueNorth
objet
,
objet
and 0.0
AngularDegree
(s)
objet
est
North
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3755-3757
courseWRTTrueNorth
objet
,
objet
and 135.0
AngularDegree
(s)
objet
est
Southeast
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3739-3741
courseWRTTrueNorth
objet
,
objet
and 180.0
AngularDegree
(s)
objet
est
South
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3759-3761
courseWRTTrueNorth
objet
,
objet
and 225.0
AngularDegree
(s)
objet
est
Southwest
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3743-3745
courseWRTTrueNorth
objet
,
objet
and 270.0
AngularDegree
(s)
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3763-3765
courseWRTTrueNorth
objet
,
objet
and 315.0
AngularDegree
(s)
objet
est
Northwest
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3747-3749
courseWRTTrueNorth
objet
,
objet
and 360.0
AngularDegree
(s)
objet
est
North
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3751-3753
courseWRTTrueNorth
objet
,
objet
and 45.0
AngularDegree
(s)
objet
est
Northeast
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3735-3737
courseWRTTrueNorth
objet
,
objet
and 90.0
AngularDegree
(s)
objet
est
East
�
objet
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1702-1708
Function de quantit�
est
nombre r�el
MilesPerHour
(s)
function de quantit�
est
nombre r�el
Mile
(s)
par
1
HourDuration
(s)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1783-1787
hearingAcuity
humain
, -10
Decibel
(s) and 15
Decibel
(s)
NormalHearingSensitivity
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1794-1798
hearingAcuity
humain
, 16
Decibel
(s) and 25
Decibel
(s)
BorderlineHearingSensitivity
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1805-1809
hearingAcuity
humain
, 26
Decibel
(s) and 40
Decibel
(s)
MildHearingLoss
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1815-1819
hearingAcuity
humain
, 41
Decibel
(s) and 55
Decibel
(s)
ModerateHearingLoss
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1826-1830
hearingAcuity
humain
, 56
Decibel
(s) and 70
Decibel
(s)
ModeratelySevereHearingLoss
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1837-1841
hearingAcuity
humain
, 71
Decibel
(s) and 90
Decibel
(s)
SevereHearingLoss
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1848-1852
hearingAcuity
humain
, 91
Decibel
(s) and 200
Decibel
(s)
ProfoundHearingLoss
est un
attribut
de
humain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13605-13611
La
mesure
de
physique
est
nombre r�el
MetricTon
(s) la
mesure
de
physique
est
nombre r�el
+ 2205.0
PoundMass
(s)
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.
Weather.kif 2680-2690
Entit�
est une
instance
de
r�gion
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
airTemperature
entit�
and 298.15
KelvinDegree
(s)
barometricPressure
entit�
and 29.530
InchMercury
(s)
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
Ann�e
est une
instance
de l'
ann
�e
ann�e
EAR
MaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandLiveBirthsFn
secteur g�opolitique
and
ann�e
est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
Ann�e
est une
instance
de l'
ann
�e
nombre entier
FemaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
Ann�e
est une
instance
de l'
ann
�e
nombre entier
LifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4711-4720
OpenSea
est un
attribut
de
objet
physique
nombre r�el
objet
est une
instance
de
plan d'eau sal�
objet
est une
instance
de
LandlockedWater
la
distance
entre
physique
et
objet
est
nombre r�el
NauticalMile
(s)
nombre r�el
est
plus
grand
que 5.0
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1928-1933
compressionRatio
Engine
and
nombre r�el
minCylinderVolume
Engine
and
nombre r�el
unit� de mesure
(s)
maxCylinderVolume
Engine
and
unit� de mesure
AX
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
unit� de mesure
AX
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1702-1708
Function de quantit�
est
nombre r�el
MilesPerHour
(s)
function de quantit�
est
nombre r�el
Mile
(s)
par
1
HourDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7758-7766
Objet
est
plus
large que
objet
nombre r�el
nombre r�el
and
unit� de mesure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13605-13611
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.
Mid-level-ontology.kif 13326-13331
La
mesure
de
physique
est
nombre r�el
OunceMass
(s) la
mesure
de
physique
est
nombre r�el
+ 16.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1129-1137
sectorValueOfGDPInPeriod
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
unit� de mesure
(s) and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
sectorValueOfGDP
secteur g�opolitique
,
IndustryAttribute
and
nombre r�el
unit� de mesure
(s)
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7596-7611
amount
substance
,
objet corpusculaire
and
nombre r�el
UnitOfMass
(s)
substance
I est une
instance
de
substance
la
mesure
de
substance
I est
nombre r�el
2
UnitOfMass
(s)
substance
I est une
partie
de
objet corpusculaire
liste
nombre r�el
2
UnitOfMass
(s) est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
nombre r�el
est
ListSumFn
liste
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.
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.
Mid-level-ontology.kif 18728-18737
CollegeFreshman
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
moins
que 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18743-18753
CollegeJunior
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 2
nombre r�el
est
moins
que 3
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18759-18769
CollegeSenior
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 3
nombre r�el
est
moins
que 4
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18775-18785
CollegeSophomore
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 1
nombre r�el
est
moins
que 2
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1186-1201
Oversized
est un
attribut
de
objet
objet
est une
instance
imm�diate de
classe
classe
est une
sous
-classe de
HotelUnit
physique
nombre r�el
,
nombre r�el
and
unit� de mesure
physique
est une
instance
imm�diate de
classe
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Government.kif 1132-1152
Humain
est un
citoyen
de
nation
UniversalSuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
RegionalLawFn
nation
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
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)
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.
Mid-level-ontology.kif 29358-29358
boilingPoint
Actinium
and 3470.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29206-29206
boilingPoint
Aluminum
and 2740.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29370-29370
boilingPoint
Americium
and 2880.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29282-29282
boilingPoint
Antimony
and 2023.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29216-29216
boilingPoint
Argon
and 87.29
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29246-29246
boilingPoint
Arsenic
and 886.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29350-29350
boilingPoint
Astatine
and 610.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29292-29292
boilingPoint
Barium
and 1913.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29188-29188
boilingPoint
Beryllium
and 3243.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29346-29346
boilingPoint
Bismuth
and 1833.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29190-29190
boilingPoint
Boron
and 2823.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29250-29250
boilingPoint
Bromine
and 331.93
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29276-29276
boilingPoint
Cadmium
and 1038.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29290-29290
boilingPoint
Caesium
and 963.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29220-29220
boilingPoint
Calcium
and 1760.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29192-29192
boilingPoint
Carbon
and 5100.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29296-29296
boilingPoint
Cerium
and 3530.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29214-29214
boilingPoint
Chlorine
and 238.55
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29228-29228
boilingPoint
Chromium
and 2755.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29234-29234
boilingPoint
Cobalt
and 3143.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29238-29238
boilingPoint
Copper
and 2868.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29312-29312
boilingPoint
Dysprosium
and 2608.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29316-29316
boilingPoint
Erbium
and 2783.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29306-29306
boilingPoint
Europium
and 1870.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29198-29198
boilingPoint
Fluorine
and 85.01
KelvinDegree
(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