Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
greaterThan
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
(
documentation
greaterThan
ChineseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要大。")
chinese_format.kif 1731-1732
(
documentation
greaterThan
EnglishLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than the
Quantity
?NUMBER2.")
Merge.kif 1792-1794
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1788-1788
domain
greaterThan
, 1 and
RealNumber
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1789-1789
domain
greaterThan
, 2 and
RealNumber
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1782-1782
instance
greaterThan
and
BinaryPredicate
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1785-1785
instance
greaterThan
and
IrreflexiveRelation
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1786-1786
instance
greaterThan
and
RelationExtendedToQuantities
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1783-1783
instance
greaterThan
and
TotalValuedRelation
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1784-1784
instance
greaterThan
and
TransitiveRelation
(
inverse
greaterThan
lessThan
)
Merge.kif 1790-1790
inverse
greaterThan
and
lessThan
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1787-1787
trichotomizingOn
greaterThan
and
RealNumber
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4575-4575
comparativeArea
SouthernOcean
,
greaterThan
, 2.0 and
UnitedStates
(
format
ChineseLanguage
greaterThan
"%1 %n 是
greaterThan
%2")
chinese_format.kif 111-111
(
format
EnglishLanguage
greaterThan
"%1 is %n greater than %2")
english_format.kif 111-111
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26523-26523
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26522-26522
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26521-26521
antecedent
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7156-7167
instance
Object
and
ParticulateMatter
part
SelfConnectedObject
and
Object
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
greaterThan
10.0 and
RealNumber
greaterThan
RealNumber
and 2.5
Object
0
instance
Object
0 and
CoarseParticulateMatter
part
Object
0 and
Object
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1375-1382
climateTypeInArea
GeographicArea
and
DesertClimateZone
instance
TimeInterval
and
Month
averageTemperatureForPeriod
GeographicArea
,
TimeInterval
and
MeasureFn
RealNumber
and
CelsiusDegree
greaterThan
RealNumber
and 18.0
climateTypeInArea
GeographicArea
and
SubtropicalDesertClimateZone
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
RealNumber
greaterThan
RealNumber
and 0
instance
TimeInterval
and
Tremor
patient
TimeInterval
and
PhysicalSystem
instance
Entity
and
UnitOfLength
holdsDuring
TimeInterval
and
physicalAmplitude
TimeInterval
and
MeasureFn
RealNumber
and
Entity
holdsDuring
TimeInterval
and
physicalAmplitude
TimeInterval
and
MeasureFn
RealNumber
and
Entity
during
TimeInterval
and
TimeInterval
during
TimeInterval
and
TimeInterval
earlier
TimeInterval
and
TimeInterval
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15233-15250
equal
EditionFn
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
equal
EditionFn
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
greaterThan
PositiveInteger
and
PositiveInteger
instance
Process
and
Publication
instance
Process
and
Publication
instance
Entity
and
ContentBearingObject
instance
Entity
and
ContentBearingObject
patient
Process
and
Entity
patient
Process
and
Entity
date
Process
and
Day
date
Process
and
Day
before
EndFn
Day
and
EndFn
Day
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3206-3213
equal
RealNumber
and
AverageFn
List
greaterThan
ListLengthFn
List
and 0
equal
RealNumber
and
DivisionFn
ListSumFn
List
and
ListLengthFn
List
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3187-3197
equal
RealNumber
and
ListSumFn
List
greaterThan
ListLengthFn
List
and 1
equal
RealNumber
and
AdditionFn
FirstFn
List
and
ListSumFn
SubListFn
2,
ListLengthFn
List
and
List
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3056-3077
equal
SymbolicString
and
ReverseFn
SymbolicString
equal
NonnegativeInteger
and
StringLengthFn
SymbolicString
greaterThan
NonnegativeInteger
and 1
greaterThan
NonnegativeInteger
and 0
lessThan
NonnegativeInteger
and
NonnegativeInteger
equal
Integer
and
CeilingFn
DivisionFn
SubtractionFn
NonnegativeInteger
and 1 and 2
equal
NonnegativeInteger
EW and
AdditionFn
SubtractionFn
Integer
and
NonnegativeInteger
and
Integer
equal
SymbolicString
and
SubstringFn
SymbolicString
,
NonnegativeInteger
and
AdditionFn
1 and
NonnegativeInteger
equal
SymbolicString
and
SubstringFn
SymbolicString
,
NonnegativeInteger
EW and
AdditionFn
1 and
NonnegativeInteger
EW
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3118-3130
equal
List
and
SubListFn
PositiveInteger
,
Integer
and
List
greaterThan
SubtractionFn
Integer
and
PositiveInteger
and 1
equal
List
and
ListConcatenateFn
ListFn
ListOrderFn
List
and
PositiveInteger
and
SubListFn
AdditionFn
1 and
PositiveInteger
,
Integer
and
List
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1452-1464
equal
RealNumber
and
VarianceAverageFn
Number
and
List
greaterThan
ListLengthFn
List
and 1
equal
RealNumber
and
AdditionFn
VarianceAverageFn
Number
and
ListOrderFn
List
and 1 and
VarianceAverageFn
Number
and
SubListFn
2,
ListLengthFn
List
and
List
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
fOCShipsByOrigin
MerchantMarine
,
GeopoliticalArea
and
NonnegativeInteger
greaterThan
NonnegativeInteger
and 0
marineInventory
MerchantMarine
and
ShipRegister
instance
ShipRegister
and
FlagOfConvenienceRegister
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
FunctionQuantity
equal
MeasureFn
RealNumber
and
MilesPerHour
and
SpeedFn
LengthMeasure
and
TimeDuration
equal
MeasureFn
RealNumber
and
MilesPerHour
and
SpeedFn
LengthMeasure
and
TimeDuration
greaterThan
RealNumber
and
RealNumber
equal
RealNumber
PROB and
ProbabilityFn
measure
SpeedGovernor
and
MeasureFn
RealNumber
and
MilesPerHour
equal
RealNumber
PROB and
ProbabilityFn
measure
SpeedGovernor
and
MeasureFn
RealNumber
and
MilesPerHour
greaterThan
RealNumber
PROB and
RealNumber
PROB
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1578-1585
instance
GeographicArea
and
GeographicArea
instance
TimeInterval
and
Month
averageTemperatureForPeriod
GeographicArea
,
TimeInterval
and
MeasureFn
RealNumber
and
CelsiusDegree
greaterThan
10.0 and
RealNumber
climateTypeInArea
GeographicArea
and
PolarClimateZone
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
Agent
)
(
instance
?BIDDER2
Agent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-448
instance
Process
and
Auctioning
instance
Entity
and
Agent
instance
Entity
and
Agent
instance
Entity
and
Object
instance
UnitOfMeasure
and
UnitOfCurrency
patient
Process
and
Entity
bidPrice
Entity
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
Entity
bidPrice
Entity
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
Entity
greaterThan
RealNumber
and
RealNumber
destination
Process
and
Entity
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8624-8631
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
equal
TimePoint
and
BeginFn
TimeInterval
equal
TimePoint
and
BeginFn
TimeInterval
greaterThan
PositiveInteger
and
PositiveInteger
before
TimePoint
and
TimePoint
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8633-8638
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
greaterThan
PositiveInteger
and
PositiveInteger
earlier
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 335-341
instance
Entity
and
Human
holdsDuring
TimePosition
and
age
Entity
and
MeasureFn
RealNumber
and
YearDuration
greaterThan
RealNumber
and 12
lessThan
RealNumber
and 20
holdsDuring
TimePosition
and
instance
Entity
and
Teenager
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2949-2954
instance
Object
and
Harbor
equipmentCount
Object
,
ShipBerth
and
RealNumber
greaterThan
RealNumber
and 0
capability
ShipBerthing
,
path
and
Object
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13616-13631
instance
Entity
and
PureSubstance
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
meltingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
holdsDuring
TimeInterval
and
measure
Entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThan
RealNumber
and
RealNumber
lessThan
RealNumber
and
RealNumber
holdsDuring
TimeInterval
and
attribute
Entity
and
Liquid
Process
overlapsTemporally
WhenFn
Process
and
TimeInterval
instance
Process
and
Melting
patient
Process
and
Entity
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1397-1404
instance
WaterArea
and
SurfZone
significantWaveHeight
WaterArea
,
WhenFn
WaterArea
and
MeasureFn
RealNumber
and
FootLength
greaterThan
RealNumber
and 8.0
attribute
WaterArea
and
RedFlagSwimmingCondition
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13551-13560
instance
Object
and
PureSubstance
subclass
PureSubstance
and
PureSubstance
barometricPressure
Object
and
MeasureFn
RealNumber
and
InchMercury
greaterThan
29.92 and
RealNumber
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
KelvinDegree
measure
Object
and
MeasureFn
RealNumber
and
KelvinDegree
greaterThan
RealNumber
and
RealNumber
attribute
Object
and
Gas
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13562-13571
instance
Object
and
PureSubstance
subclass
PureSubstance
and
PureSubstance
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
KelvinDegree
meltingPoint
PureSubstance
and
MeasureFn
RealNumber
and
KelvinDegree
measure
Object
and
MeasureFn
RealNumber
and
KelvinDegree
greaterThan
RealNumber
and
RealNumber
lessThan
RealNumber
and
RealNumber
attribute
Object
and
Liquid
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13573-13582
instance
Object
and
PureSubstance
subclass
PureSubstance
and
PureSubstance
meltingPoint
PureSubstance
and
MeasureFn
RealNumber
and
KelvinDegree
barometricPressure
Object
and
MeasureFn
RealNumber
and
InchMercury
greaterThan
RealNumber
and 29.92
measure
Object
and
MeasureFn
RealNumber
and
KelvinDegree
lessThan
RealNumber
and
RealNumber
attribute
Object
and
Solid
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8592-8599
instance
TimeInterval
and
YearFn
Integer
instance
TimeInterval
and
YearFn
Integer
equal
TimePoint
and
BeginFn
TimeInterval
equal
TimePoint
and
BeginFn
TimeInterval
greaterThan
Integer
and
Integer
before
TimePoint
and
TimePoint
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8601-8606
instance
TimeInterval
and
YearFn
Integer
instance
TimeInterval
and
YearFn
Integer
greaterThan
Integer
and
Integer
earlier
TimeInterval
and
TimeInterval
(=>
(
and
(
lengthOfBroadGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
BroadGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 191-199
lengthOfBroadGaugeRailway
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfLength
greaterThan
RealNumber
and 0
Physical
instance
Physical
and
BroadGaugeRailway
located
Physical
and
GeographicArea
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0)))
Geography.kif 4610-4618
attribute
Object
and
OpenSea
instance
Object
and
SaltWaterArea
instance
Object
and
LandlockedWater
distance
Physical
,
Object
and
MeasureFn
RealNumber
and
NauticalMile
greaterThan
RealNumber
and 5.0
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 289-310
average
List
and
RealNumber
List
equal
ListLengthFn
List
and
ListLengthFn
List
equal
ListOrderFn
List
and 1 and
ListOrderFn
List
and 1
PositiveInteger
inList
PositiveInteger
and
List
RealNumber
RealNumber
MINUSONE,
PositiveInteger
and
PositiveInteger
greaterThan
RealNumber
and 1
lessThanOrEqualTo
RealNumber
and
ListLengthFn
List
equal
ListOrderFn
List
and
PositiveInteger
and
RealNumber
inList
PositiveInteger
and
List
equal
RealNumber
and
ListOrderFn
List
and
PositiveInteger
inList
PositiveInteger
and
List
equal
RealNumber
MINUSONE and
SubtractionFn
RealNumber
and 1
equal
RealNumber
MINUSONE and
ListOrderFn
List
and
PositiveInteger
equal
PositiveInteger
and
AdditionFn
PositiveInteger
and
PositiveInteger
equal
PositiveInteger
and
ListLengthFn
List
equal
RealNumber
and
DivisionFn
ListOrderFn
List
and
PositiveInteger
and
PositiveInteger
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1825-1829
greaterThanOrEqualTo
RealNumber
and
RealNumber
equal
RealNumber
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1877-1881
instance
RealNumber
and
PositiveRealNumber
greaterThan
RealNumber
and 0
instance
RealNumber
and
RealNumber
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7662-7670
larger
Object
and
Object
RealNumber
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfLength
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1757-1762
attribute
Object
and
FlatTerrain
part
LandArea
and
Object
slopeGradient
LandArea
and
NonnegativeRealNumber
greaterThan
0.005 and
NonnegativeRealNumber
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1769-1774
attribute
Object
and
LowTerrain
part
LandArea
and
Object
slopeGradient
LandArea
and
NonnegativeRealNumber
greaterThan
0.03 and
NonnegativeRealNumber
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1118-1129
attribute
Object
and
FamilyStylePortion
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
attribute
Object
and
FamilyStylePortion
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Object
and
Class
instance
Object
and
Class
instance
UnitOfMeasure
and
UnitOfMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
attribute
Agent
and
Muslim
equal
WealthFn
Agent
and
CurrencyMeasure
modalAttribute
entity
entity
and
entity
instance
entity
and
Zakat
instance
entity
and
Year
during
entity
and
WhenFn
Agent
holdsDuring
entity
and
attribute
Agent
and
FullyFormed
agent
entity
and
Agent
patient
entity
and
entity
monetaryValue
entity
and
MeasureFn
entity
and
entity
instance
entity
and
UnitOfCurrency
greaterThan
entity
and
MultiplicationFn
CurrencyMeasure
and 0.025 and
Obligation
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1164-1179
attribute
Object
and
Oversized
immediateInstance
Object
and
Class
subclass
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
immediateInstance
Physical
and
Class
instance
UnitOfMeasure
and
UnitOfArea
measure
Physical
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
RealNumber
and
AreaMeasure
instance
RealNumber
and
AreaMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1549-1555
capitalExpendituresOfAreaInPeriod
GeopoliticalArea
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
TimeInterval
annualExpendituresOfAreaInPeriod
GeopoliticalArea
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
TimeInterval
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1526-1534
climateTypeInArea
GeographicArea
and
ColdClimateZone
TimeInterval
instance
TimeInterval
and
Month
averageTemperatureForPeriod
GeographicArea
,
TimeInterval
and
MeasureFn
RealNumber
and
CelsiusDegree
greaterThan
10.0 and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1600-1606
climateTypeInArea
GeographicArea
and
PolarTypeFClimateZone
instance
TimePosition
and
TimePosition
holdsDuring
TimePosition
and
airTemperature
GeographicArea
and
MeasureFn
entity
and
CelsiusDegree
holdsDuring
TimePosition
and
greaterThan
10.0 and
entity
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
RealNumber
greaterThan
RealNumber
and 0
instance
TimeInterval
and
Tremor
patient
TimeInterval
and
PhysicalSystem
instance
Entity
and
UnitOfLength
holdsDuring
TimeInterval
and
physicalAmplitude
TimeInterval
and
MeasureFn
RealNumber
and
Entity
holdsDuring
TimeInterval
and
physicalAmplitude
TimeInterval
and
MeasureFn
RealNumber
and
Entity
during
TimeInterval
and
TimeInterval
during
TimeInterval
and
TimeInterval
earlier
TimeInterval
and
TimeInterval
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18172-18177
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
equal
Entity
and
ListOrderFn
ListFn
@ARGS and
PositiveInteger
modalAttribute
greaterThan
Quantity
and
Entity
and
Likely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13002-13011
defaultMaximumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
CompositeUnitOfMeasure
modalAttribute
entity
RealNumber
UANTITY
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
UnitOfMeasure
greaterThan
RealNumber
UANTITY and
RealNumber
and
Unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13013-13024
defaultMaximumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
Class
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
Class
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
Class
greaterThan
MeasureFn
RealNumber
UANTITY and
entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
and
Unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R))
Unlikely
))
Mid-level-ontology.kif 12952-12962
defaultMaximumSphereRadius
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Object
and
Object
attribute
Object
and
Sphere
modalAttribute
sphereRadius
Object
and
MeasureFn
RealNumber
ADIUS and
UnitOfMeasure
greaterThan
RealNumber
ADIUS and
RealNumber
and
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13032-13041
defaultMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
CompositeUnitOfMeasure
modalAttribute
entity
RealNumber
UANTITY
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
UnitOfMeasure
greaterThan
RealNumber
UANTITY and
MultiplicationFn
RealNumber
and 1.5 and
Unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18155-18160
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
equal
Entity
and
ListOrderFn
ListFn
@ARGS and
PositiveInteger
modalAttribute
greaterThan
Entity
and
Quantity
and
Likely
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
MeasureFn
RealNumber
and
MilesPerHour
and
TimeDuration
instance
Object
and
Automobile
instance
Process
and
GasPedal
instance
Process
and
Pushing
destination
Process
and
Object
part
InternalCombustionEngine
and
Object
part
Object
and
Object
instance
Object
and
Crankshaft
part
Object
and
InternalCombustionEngine
holdsDuring
WhenFn
Process
and
measure
Object
and
RotationFn
MeasureFn
entity
and
MilesPerHour
and
TimeDuration
modalAttribute
greaterThan
entity
and
RealNumber
and
Likely
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4778-4792
equal
GreatestCommonDivisorFn
@ROW and
Integer
equal
Integer
and 0
Integer
greaterThan
Integer
and
Integer
Integer
inList
Integer
and
ListFn
@ROW
equal
RemainderFn
Integer
and
Integer
and 0
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?P ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 17728-17742
equal
Organization
and
DepartmentOfFn
Organization
and
Physical
Organization
は組織
Organization
の一部では %n
equal
Organization
and
Organization
instance
Entity
and
Physical
inScopeOfInterest
CognitiveAgent
and
Entity
equal
CognitiveAgent
and
ProbabilityFn
agent
CognitiveAgent
and
Organization
equal
CognitiveAgent
and
ProbabilityFn
agent
CognitiveAgent
and
Organization
greaterThan
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
FunctionQuantity
equal
MeasureFn
RealNumber
and
MilesPerHour
and
SpeedFn
LengthMeasure
and
TimeDuration
equal
MeasureFn
RealNumber
and
MilesPerHour
and
SpeedFn
LengthMeasure
and
TimeDuration
greaterThan
RealNumber
and
RealNumber
equal
RealNumber
PROB and
ProbabilityFn
measure
SpeedGovernor
and
MeasureFn
RealNumber
and
MilesPerHour
equal
RealNumber
PROB and
ProbabilityFn
measure
SpeedGovernor
and
MeasureFn
RealNumber
and
MilesPerHour
greaterThan
RealNumber
PROB and
RealNumber
PROB
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
equal
?A1
(
AdditionFn
(
YearDuration
49) ?B))
(
equal
?A2
(
AdditionFn
(
YearDuration
52) ?B))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23355-23372
holdsDuring
TimeInterval
and
attribute
Human
and
Menopausal
birthdate
Human
and
RealNumber
equal
RealNumber
and
AdditionFn
YearDuration
49 and
RealNumber
equal
RealNumber
and
AdditionFn
YearDuration
52 and
RealNumber
equal
TimePoint
and
BeginFn
TimeInterval
modalAttribute
greaterThan
TimePoint
and
RealNumber
greaterThan
RealNumber
and
TimePoint
and
Likely
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