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
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 1852-1854
(
documentation
greaterThan
JapaneseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2よりも大きい場合に当てはまる。")
japanese_format.kif 339-340
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1848-1848
Die Zahl 1 Argument von
groesserAls
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1849-1849
Die Zahl 2 Argument von
groesserAls
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1842-1842
groesserAls
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1845-1845
groesserAls
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1846-1846
groesserAls
ist ein
fall
von
RelationExtendedToQuantities
%n{nicht}
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1843-1843
groesserAls
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1844-1844
groesserAls
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
groesserAls
ist eine
inverse
von
kleinerAls
%n{nicht}
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
groesserAls
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4676-4676
comparativeArea
SouthernOcean
,
groesserAls
, 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
(
format
FrenchLanguage
greaterThan
"%1 est %n plus grand que %2")
french_format.kif 77-77
(
format
ItalianLanguage
greaterThan
"%1 è %n più grande di %2")
relations-it.txt 121-121
(
format
JapaneseLanguage
greaterThan
"%1 は %2 より greater では %n")
japanese_format.kif 1904-1904
(
format
PortugueseLanguage
greaterThan
"%1 e' %n maior que %2")
portuguese_format.kif 29-29
(
format
cz
greaterThan
"%1 %p{je} %n{nen�} v�t�� ne� %2")
relations-cz.txt 77-77
(
format
de
greaterThan
"%1 ist groesserAls %2 %n{nicht}")
relations-de.txt 127-127
(
format
hi
greaterThan
"%1 %2 se badaa %n hai")
relations-hindi.txt 161-161
(
format
ro
greaterThan
"%1 %n{nu} este greater%t{mai mare} decât %2")
relations-ro.kif 96-96
(
format
sv
greaterThan
"%1 är %n{inte} större än %2")
relations-sv.txt 76-76
(
format
tg
greaterThan
"%1 %n ay mas malaki sa %2")
relations-tg.txt 248-248
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26532-26532
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26531-26531
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26530-26530
(
termFormat
de
greaterThan
"groesserAls")
terms-de.txt 37-37
(
termFormat
tg
greaterThan
"mas malaki sa")
relations-tg.txt 249-249
antecedent
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
Entity
ist ein
fall
von
PersonalAccount
%n{nicht} und die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt ist
groesserAls
1 %n{nicht} genau dann wenn
** Entity
ist ein
fall
von
JointAccount
%n{nicht}
(<=>
(
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 7440-7451
Object
ist ein
fall
von
ParticulateMatter
%n{nicht} und
SelfConnectedObject
ist ein
teil
von
** Object
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Micrometer
(s) und 10.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
2.5 %n{nicht} genau dann wenn es gibt
** Object
10 um
** Object
10 ist ein
fall
von
CoarseParticulateMatter
%n{nicht} und
** Object
10 ist ein
teil
von
** Object
%n{nicht}
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
Wenn
breathingRate
AutonomousAgent
,
TimeInterval
and
Integer
und
** TimeInterval
ist ein
fall
von
Minute
%n{nicht} und es gibt nicht
** Integer
um
** Integer
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Integer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht
waehrend
die
zeit
des Bestehens von
** Integer
%n{nicht} und
HumanAdult
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** Integer
ist
groesserAls
16 %n{nicht} oder
** Integer
ist
kleinerAls
12 %n{nicht},
dann
Healthy
ist ein
attribut
von
** AutonomousAgent
nicht haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
Wenn
climateTypeInArea
GeographicArea
and
DesertClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
18.0 %n{nicht},
dann
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
Wenn
dampingRatio
PhysicalSystem
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht} und
TimeInterval
ist ein
fall
von
Tremor
%n{nicht} und
** PhysicalSystem
ist ein
patient
von
** TimeInterval
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
1 %n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
2 %n{nicht} und
** TimeInterval
1 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
2 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
1 geschieht frueh als
** TimeInterval
2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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 15515-15532
Wenn
ausgabe
PositiveInteger
von
** ContentBearingObject
ist gleich
** ** ContentBearingObject
%n{nicht} und
ausgabe
** PositiveInteger
von
** ContentBearingObject
ist gleich
** ** ContentBearingObject
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht} und
Process
ist ein
fall
von
Publication
%n{nicht} und
** Process
ist ein
fall
von
Publication
%n{nicht} und
Entity
ist ein
fall
von
** ** ContentBearingObject
%n{nicht} und
** Entity
ist ein
fall
von
** ** ContentBearingObject
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
datum
von
** Process
ist
Day
%n{nicht} und
datum
von
** ** Process
ist
** Day
%n{nicht},
dann das
ende
von
** Day
geschieht
vor
das
ende
von
** ** Day
%n{nicht}
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
Wenn
RealNumber
ist gleich
AverageFn
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
0 %n{nicht},
dann
** RealNumber
ist gleich
ListSumFn
** List
und
Laenge
von
** List
%n{nicht}
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
Wenn
RealNumber
ist gleich
ListSumFn
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
1 %n{nicht},
dann
** RealNumber
ist gleich (
FirstFn
** List
und
ListSumFn
SubListFn
2,
Laenge
von
** List
and
** List
) %n{nicht}
(=>
(
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 3068-3089
Wenn
SymbolicString
ist gleich
ReverseFn
** SymbolicString
%n{nicht} und
NonnegativeInteger
ist gleich
StringLengthFn
** ** SymbolicString
%n{nicht} und
** NonnegativeInteger
ist
groesserAls
1 %n{nicht} und
** NonnegativeInteger
ist
groesserAls
0 %n{nicht} und
** ** NonnegativeInteger
ist
kleinerAls
** NonnegativeInteger
%n{nicht} und
Integer
ist gleich die
oberstegrenze
von (
** NonnegativeInteger
und 1) und 2 %n{nicht} und
** ** NonnegativeInteger
EW ist gleich ((
** Integer
und
** ** NonnegativeInteger
) und
** Integer
) %n{nicht} und
** SymbolicString
ist gleich
SubstringFn
** ** SymbolicString
,
** ** NonnegativeInteger
and (1 und
** ** NonnegativeInteger
) %n{nicht},
dann
** ** SymbolicString
ist gleich
SubstringFn
** SymbolicString
,
** ** NonnegativeInteger
EW and (1 und
** ** NonnegativeInteger
EW) %n{nicht}
(=>
(
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 3190-3202
Wenn
List
ist gleich
SubListFn
PositiveInteger
,
Integer
and
** List
%n{nicht} und (
** Integer
und
** PositiveInteger
) ist
groesserAls
1 %n{nicht},
dann
** List
ist gleich die Liste bestanden aus (
** PositiveInteger
te
mitglied
von
** ** List
) und
SubListFn
(1 und
** PositiveInteger
),
** Integer
and
** ** List
%n{nicht}
(=>
(
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 1453-1465
Wenn
RealNumber
ist gleich
VarianceAverageFn
Number
and
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
1 %n{nicht},
dann
** RealNumber
ist gleich (
VarianceAverageFn
** Number
and 1te
mitglied
von
** List
und
VarianceAverageFn
** Number
and
SubListFn
2,
Laenge
von
** List
and
** List
) %n{nicht}
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
Wenn
fOCShipsByOrigin
MerchantMarine
,
GeopoliticalArea
and
NonnegativeInteger
und
** NonnegativeInteger
ist
groesserAls
0 %n{nicht} und
marineInventory
** MerchantMarine
and
ShipRegister
,
dann
** ShipRegister
ist ein
fall
von
FlagOfConvenienceRegister
%n{nicht}
(=>
(
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
Wenn
governorSpeed
SpeedGovernor
and
FunctionQuantity
und
RealNumber
MilesPerHour
(s) ist gleich
LengthMeasure
pro
&2 %n{nicht} und
** RealNumber
MilesPerHour
(s) ist gleich
** LengthMeasure
pro
&2 %n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** RealNumber
PROB ist gleich die
wahrscheinlichkeit
von das
mass
von
** SpeedGovernor
ist
** RealNumber
MilesPerHour
(s) %n{nicht} %n{nicht} und
** ** RealNumber
PROB ist gleich die
wahrscheinlichkeit
von das
mass
von
** SpeedGovernor
ist
** ** RealNumber
MilesPerHour
(s) %n{nicht} %n{nicht},
dann
** ** RealNumber
PROB ist
groesserAls
** RealNumber
PROB %n{nicht}
(=>
(
and
(
instance
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
Wenn
Entity
ist ein
fall
von
** BiochemicalAgent
%n{nicht} und
lethalDose
** BiochemicalAgent
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
0.0 %n{nicht},
dann
** Entity
ist ein
fall
von
LifeThreateningAgent
%n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s) und 10.0 ist
groesserAls
** RealNumber
%n{nicht},
dann
climateTypeInArea
** GeographicArea
and
PolarClimateZone
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
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 354-365
Wenn
Process
ist ein
fall
von
Auctioning
%n{nicht} und
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
bidPrice
** Object
,
RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
bidPrice
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** ** AutonomousAgent
und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
** Process
endet an
** AutonomousAgent
%n{nicht}
(=>
(
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 8722-8729
Wenn
TimeInterval
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und
TimePoint
ist gleich der
anfang
von
** TimeInterval
%n{nicht} und
** TimePoint
ist gleich der
anfang
von
** ** TimeInterval
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht},
dann
** TimePoint
geschieht
vor
** ** TimePoint
%n{nicht}
(=>
(
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 8731-8736
Wenn
TimeInterval
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht},
dann
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht}
(=>
(
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 342-348
Wenn
Entity
ist ein
fall
von
Human
%n{nicht} und das
alter
von
** Entity
ist
RealNumber
YearDuration
(s) %n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** RealNumber
ist
groesserAls
12 %n{nicht} und
** RealNumber
ist
kleinerAls
20 %n{nicht},
dann
** Entity
ist ein
fall
von
Teenager
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Wenn
Object
ist ein
fall
von
Harbor
%n{nicht} und
equipmentCount
** Object
,
ShipBerth
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
path
ShipBerthing
zu tun
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
Wenn
MusicalTone
ist ein
fall
von
MusicalTone
%n{nicht} und
soundFrequency
** MusicalTone
and
RealNumber
Hertz
(s) und
loudness
** MusicalTone
and
** RealNumber
Decibel
(s) und
** MusicalTone
befindet
sich an %n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
250 %n{nicht} und 8000 ist
groesserAls
** RealNumber
%n{nicht} und
Human
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Listening
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht},
dann
hearingAcuity
** Human
,
** ** RealNumber
Decibel
(s) and
** ** RealNumber
Decibel
(s)
(=>
(
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 13863-13878
Wenn
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
meltingPoint
** ** PureSubstance
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Liquid
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} oder es gibt
Process
um
** TimeInterval
deckt
sich mit die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist ein
fall
von
Melting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
Wenn
WaterArea
ist ein
fall
von
SurfZone
%n{nicht} und
significantWaveHeight
** WaterArea
, die
zeit
des Bestehens von
** WaterArea
and
RealNumber
FootLength
(s) und
** RealNumber
ist
groesserAls
8.0 %n{nicht},
dann
RedFlagSwimmingCondition
ist ein
attribut
von
** WaterArea
%n{nicht}
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Wenn
TimeInterval
ist ein
fall
von
TimePeriod
%n{nicht} und
dauer
von
** TimeInterval
ist
RealNumber
MinuteDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAls
5.0 %n{nicht} und
Entity
ist ein
fall
von
Human
%n{nicht} und es gibt nicht
Process
um
** Process
ist ein
fall
von
Breathing
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Death
%n{nicht} und
** Entity
erfaehrt
** ** entity
%n{nicht} und
** TimeInterval
schliesst
die
zeit
des Bestehens von
** ** entity
zeitlich an hat die modale Kraft von
Likely
(=>
(
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 13798-13807
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und 29.92 ist
groesserAls
** RealNumber
%n{nicht} und
boilingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Object
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4711-4720
OpenSea
ist ein
attribut
von
Object
%n{nicht} genau dann wenn es gibt
Physical
und
RealNumber
um
** Object
ist ein
fall
von
SaltWaterArea
%n{nicht} und
** Object
ist ein
fall
von
LandlockedWater
nicht und der
abstand
zwischen
** Physical
und
** Object
ist
** RealNumber
NauticalMile
(s) und
** RealNumber
ist
groesserAls
5.0 %n{nicht}
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
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 272-293
average
List
and
RealNumber
genau dann wenn es gibt
** List
und
PositiveInteger
um
Laenge
von
** ** List
ist gleich
Laenge
von
** List
%n{nicht} und 1te
mitglied
von
** ** List
ist gleich 1te
mitglied
von
** List
%n{nicht} und fuer alle
** PositiveInteger
wenn
** ** PositiveInteger
ist ein
Mitglied
von
** ** List
,
dann es gibt
** RealNumber
,
** ** RealNumber
MINUSONE,, ,
** PositiveInteger
, and und
** PositiveInteger
um
** ** RealNumber
ist
groesserAls
1 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
Laenge
von
** ** List
%n{nicht} und
** ** PositiveInteger
te
mitglied
von
** ** List
ist gleich
** ** RealNumber
%n{nicht} und
** ** PositiveInteger
ist ein
Mitglied
von
** List
und
** ** RealNumber
ist gleich
** ** PositiveInteger
te
mitglied
von
** List
%n{nicht} und
** ** PositiveInteger
ist ein
Mitglied
von
** ** List
und
** ** RealNumber
MINUSONE ist gleich (
** ** RealNumber
und 1) %n{nicht} und
** ** RealNumber
MINUSONE ist gleich
** ** PositiveInteger
te
mitglied
von
** ** List
%n{nicht} und
** ** PositiveInteger
ist gleich (
** ** PositiveInteger
und
** ** PositiveInteger
) %n{nicht}
und
** PositiveInteger
ist gleich
Laenge
von
** ** List
%n{nicht} und
** RealNumber
ist gleich
** PositiveInteger
te
mitglied
von
** ** List
und
** PositiveInteger
%n{nicht}
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} genau dann wenn
** RealNumber
ist gleich
** ** RealNumber
%n{nicht} oder
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
RealNumber
ist ein
fall
von
PositiveRealNumber
%n{nicht} genau dann wenn
** RealNumber
ist
groesserAls
0 %n{nicht} und
** RealNumber
ist ein
fall
von
RealNumber
%n{nicht}
(<=>
(
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 7758-7766
Object
ist
groesser
als
** Object
genau dann wenn fuer alle
RealNumber
,
** RealNumber
, and und
UnitOfMeasure
wenn das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
Wenn
FlatTerrain
ist ein
attribut
von
Object
%n{nicht} und
LandArea
ist ein
teil
von
** Object
%n{nicht} und
slopeGradient
** LandArea
and
NonnegativeRealNumber
,
dann 0.005 ist
groesserAls
** NonnegativeRealNumber
%n{nicht}
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
Wenn
LowTerrain
ist ein
attribut
von
Object
%n{nicht} und
LandArea
ist ein
teil
von
** Object
%n{nicht} und
slopeGradient
** LandArea
and
NonnegativeRealNumber
,
dann 0.03 ist
groesserAls
** NonnegativeRealNumber
%n{nicht}
(=>
(
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 1165-1176
Wenn
FamilyStylePortion
ist ein
attribut
von
Object
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
FamilyStylePortion
ist ein
attribut
von
** Object
nicht und das
mass
von
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** Object
ist ein
fall
von
Class
%n{nicht} und
** ** Object
ist ein
fall
von
** Class
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
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 204-223
Wenn
Muslim
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
wert
von dem Eigentum von
** AutonomousAgent
ist gleich
CurrencyMeasure
%n{nicht},
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Zakat
%n{nicht} und
** ** entity
ist ein
fall
von
Year
%n{nicht} und
** ** entity
geschieht
waehrend
die
zeit
des Bestehens von
** AutonomousAgent
%n{nicht} und
FullyFormed
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
wert
von
** ** entity
ist
** ** entity
** ** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** entity
ist
groesserAls
** CurrencyMeasure
und 0.025 %n{nicht} hat die modale Kraft von
Obligation
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
Wenn
ADHD
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
ADHD
ist ein
attribut
von
** AutonomousAgent
nicht und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
IntentionalPsychologicalProcess
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
TimeDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
%n{nicht},
dann die Aussage
** ** TimeDuration
ist
groesserAls
** TimeDuration
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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 1186-1201
Wenn
Oversized
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
direkter
fall von
Class
und
** Class
ist eine
teilkategorie
von
HotelUnit
,
dann es gibt
Physical
,
RealNumber
,, ,
** RealNumber
, and und
UnitOfMeasure
um
** Physical
ist ein
direkter
fall von
** Class
und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und das
mass
von
** Physical
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** ** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
Wenn
birthdate
Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
birthday
** Human
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
Wenn
capitalExpendituresOfAreaInPeriod
GeopoliticalArea
,
RealNumber
UnitOfMeasure
(s) and
** TimeInterval
und
annualExpendituresOfAreaInPeriod
** GeopoliticalArea
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
Wenn
climateTypeInArea
GeographicArea
and
ColdClimateZone
und fuer alle
TimeInterval
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s),
dann 10.0 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
Wenn
climateTypeInArea
GeographicArea
and
PolarTypeFClimateZone
und
TimePosition
ist ein
fall
von
TimePosition
%n{nicht} und
airTemperature
** GeographicArea
and
entity
CelsiusDegree
(s) haelt
waehrend
** TimePosition
%n{nicht},
dann 10.0 ist
groesserAls
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
dampingRatio
PhysicalSystem
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht} und
TimeInterval
ist ein
fall
von
Tremor
%n{nicht} und
** PhysicalSystem
ist ein
patient
von
** TimeInterval
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
1 %n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
2 %n{nicht} und
** TimeInterval
1 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
2 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
1 geschieht frueh als
** TimeInterval
2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
Wenn
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** Quantity
ist
groesserAls
** ** Entity
%n{nicht} hat die modale Kraft von
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 13536-13545
Wenn
defaultMaximumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht},
dann die Aussage es gibt
entity
und
** RealNumber
UANTITY um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
UANTITY ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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 13547-13558
Wenn
defaultMaximumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
Class
ist eine
teilkategorie
von
NonCompositeUnitOfMeasure
und
** UnitOfMeasure
ist ein
fall
von
** Class
%n{nicht},
dann die Aussage es gibt
entity
,
** RealNumber
UANTITY, and und
** entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** ** entity
(s) %n{nicht} und
** ** entity
ist ein
fall
von
** Class
%n{nicht} und
** RealNumber
UANTITY
** ** entity
(s) ist
groesserAls
** RealNumber
** UnitOfMeasure
(s) %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
Wenn
defaultMaximumSphereRadius
** Object
and
RealNumber
UnitOfMeasure
(s) und
** Object
ist ein
fall
von
** Object
%n{nicht} und
Sphere
ist ein
attribut
von
** ** Object
%n{nicht},
dann die Aussage es gibt
** RealNumber
ADIUS um
sphereRadius
** ** Object
and
** RealNumber
ADIUS
** UnitOfMeasure
(s) und
** RealNumber
ADIUS ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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 13566-13575
Wenn
defaultMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht},
dann die Aussage es gibt
entity
und
** RealNumber
UANTITY um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
UANTITY ist
groesserAls
** RealNumber
und 1.5 %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
Wenn
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** ** Entity
ist
groesserAls
** Quantity
%n{nicht} hat die modale Kraft von
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
Wenn
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
RealNumber
MilesPerHour
(s) and
TimeDuration
und
Object
ist ein
fall
von
Automobile
%n{nicht} und
Process
ist ein
fall
von
GasPedal
%n{nicht} und
** Process
ist ein
fall
von
Pushing
%n{nicht} und
** Process
endet an
** Object
%n{nicht} und
** InternalCombustionEngine
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
Crankshaft
%n{nicht} und
** ** Object
ist ein
teil
von
** InternalCombustionEngine
%n{nicht} und das
mass
von
** ** Object
ist
RotationFn
entity
MilesPerHour
(s) and
** TimeDuration
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht},
dann die Aussage
** entity
ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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 4874-4888
Wenn die
groe
�te gemeinsamer teiler von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann es gibt nicht
** Integer
um
** ** Integer
ist
groesserAls
** Integer
%n{nicht} und fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Wenn
Organization
ist gleich
DepartmentOfFn
** Organization
and
** Physical
%n{nicht} und
subOrganization
** Organization
2 and
** ** Organization
und
** Organization
ist gleich
** Organization
2 nicht und
Entity
ist ein
fall
von
** Physical
%n{nicht} und
** Organization
ist an
** Entity
interessiert
%n{nicht} und
RealNumber
ist gleich die
wahrscheinlichkeit
von
** entity
ist der
agent
von
** Organization
%n{nicht} %n{nicht} und
** ** entity
2 ist gleich die
wahrscheinlichkeit
von
** ** entity
ist der
agent
von
** Organization
2 %n{nicht} %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** entity
2 %n{nicht}
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