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
lessThan
Sigma KEE - lessThan
lessThan
appearance as argument number 1
(
documentation
lessThan
ChineseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要少。")
chinese_format.kif 1729-1730
(
documentation
lessThan
EnglishLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is less than the
Quantity
?NUMBER2.")
Merge.kif 1839-1840
(
documentation
lessThan
JapaneseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2 より小さい場合に当てはまる。")
japanese_format.kif 337-338
(
domain
lessThan
1
RealNumber
)
Merge.kif 1836-1836
Die Zahl 1 Argument von
kleinerAls
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
lessThan
2
RealNumber
)
Merge.kif 1837-1837
Die Zahl 2 Argument von
kleinerAls
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
lessThan
BinaryPredicate
)
Merge.kif 1831-1831
kleinerAls
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
lessThan
IrreflexiveRelation
)
Merge.kif 1833-1833
kleinerAls
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
lessThan
RelationExtendedToQuantities
)
Merge.kif 1834-1834
kleinerAls
ist ein
fall
von
RelationExtendedToQuantities
%n{nicht}
(
instance
lessThan
TransitiveRelation
)
Merge.kif 1832-1832
kleinerAls
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
kleinerAls
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
lessThan
"%1 %n 是
lessThan
%2")
chinese_format.kif 141-141
(
format
EnglishLanguage
lessThan
"%1 is %n less than %2")
english_format.kif 142-142
(
format
FrenchLanguage
lessThan
"%1 est %n moins que %2")
french_format.kif 92-92
(
format
ItalianLanguage
lessThan
"%1 è %n meno di%2")
relations-it.txt 163-163
(
format
JapaneseLanguage
lessThan
"%1 は %2 より less では %n")
japanese_format.kif 1919-1919
(
format
PortugueseLanguage
lessThan
"%1 e' %n menos que %2")
portuguese_format.kif 44-44
(
format
cz
lessThan
"%1 %p{je} %n{nen�} men�� ne� %2")
relations-cz.txt 76-76
(
format
de
lessThan
"%1 ist kleinerAls %2 %n{nicht}")
relations-de.txt 172-172
(
format
hi
lessThan
"%1 %2 se kama %n hai")
relations-hindi.txt 202-202
(
format
ro
lessThan
"%1 %n{nu} este less%t{mai mic} decât %2")
relations-ro.kif 111-111
(
format
sv
lessThan
"%1 är %n{inte} mindre än %2")
relations-sv.txt 91-91
(
format
tg
lessThan
"%1 %n ay meno ng %2")
relations-tg.txt 325-325
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
groesserAls
ist eine
inverse
von
kleinerAls
%n{nicht}
(
termFormat
ChineseLanguage
lessThan
"少于")
chinese_format.kif 142-142
(
termFormat
ChineseTraditionalLanguage
lessThan
"少於")
domainEnglishFormat.kif 34144-34144
(
termFormat
EnglishLanguage
lessThan
"less than")
domainEnglishFormat.kif 34143-34143
(
termFormat
de
lessThan
"kleinerAls")
terms-de.txt 52-52
(
termFormat
tg
lessThan
"meno ng")
relations-tg.txt 326-326
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
SelfConnectedObject
ist ein
fall
von
LiquidDrop
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Micrometer
(s) und 500.0 ist
kleinerAls
** RealNumber
%n{nicht} genau dann wenn
** SelfConnectedObject
ist ein
fall
von
Droplet
%n{nicht}
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
Es gibt
FinancialInstrument
,
** FinancialInstrument
Price, and und
** RealNumber
um
Agreement
ist ein
fall
von
CallOption
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
und
price
** FinancialInstrument
,
** FinancialInstrument
Price
UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
strikePrice
** Agreement
and
** ** RealNumber
** UnitOfMeasure
(s) und
** FinancialInstrument
Price ist
kleinerAls
** ** RealNumber
%n{nicht} genau dann wenn
outOfTheMoney
** Agreement
and
** AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
Es gibt
FinancialInstrument
,
** FinancialInstrument
Price, and und
** RealNumber
um
Agreement
ist ein
fall
von
CallOption
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
und
price
** FinancialInstrument
,
** FinancialInstrument
Price
UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
strikePrice
** Agreement
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** FinancialInstrument
Price %n{nicht} genau dann wenn
inTheMoney
** Agreement
and
** AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
Es gibt
FinancialInstrument
,
** FinancialInstrument
Price, and und
** RealNumber
um
Agreement
ist ein
fall
von
PutOption
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
und
price
** FinancialInstrument
,
** FinancialInstrument
Price
UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
strikePrice
** Agreement
and
** ** RealNumber
** UnitOfMeasure
(s) und
** FinancialInstrument
Price ist
kleinerAls
** ** RealNumber
%n{nicht} genau dann wenn
inTheMoney
** Agreement
and
** AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
Es gibt
FinancialInstrument
,
** FinancialInstrument
Price, and und
** RealNumber
um
Agreement
ist ein
fall
von
PutOption
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
und
price
** FinancialInstrument
,
** FinancialInstrument
Price
UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
strikePrice
** Agreement
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** FinancialInstrument
Price %n{nicht} genau dann wenn
outOfTheMoney
** Agreement
and
** AutonomousAgent
(=>
(
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
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
Wenn
currentAccountBalance
FinancialAccount
,
Day
and
RealNumber
UnitedStatesDollar
(s) und
** RealNumber
ist
kleinerAls
0 %n{nicht} und
** RealNumber
ist gleich (0 und
** RealNumber
) %n{nicht},
dann
overdraft
** FinancialAccount
,
** ** RealNumber
UnitedStatesDollar
(s) and
** Day
(=>
(
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
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
UsingAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
currentAccountBalance
** FinancialAccount
,
Day
and
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Penalty
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und
** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
Wenn
LiabilityAccount
ist ein
fall
von
LiabilityAccount
%n{nicht} und
minimumPayment
** LiabilityAccount
,
RealNumber
UnitOfMeasure
(s) and
MonthDuration
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und es gibt
Process
und
TimeInterval
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
** Process
endet an
CurrencyFn
** LiabilityAccount
%n{nicht} und
paymentsPerPeriod
** LiabilityAccount
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** LiabilityAccount
%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
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
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
kleinerAls
18 %n{nicht},
dann
** Entity
ist ein
fall
von
HumanYouth
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 13885-13900
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
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13902-13915
Wenn
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und
meltingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Solid
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
Freezing
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2667-2673
Wenn
WaterArea
ist ein
fall
von
Waterway
%n{nicht} und
depth
Physical
,
** WaterArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
navigableForDraft
** WaterArea
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
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 13831-13840
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
boilingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
meltingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Liquid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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 13842-13851
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
meltingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
barometricPressure
** Object
and
** RealNumber
InchMercury
(s) und
** ** RealNumber
ist
groesserAls
29.92 %n{nicht} und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Solid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
Wenn
processList
@ROW und
Physical
ist ein
Mitglied
von (@ROW) und
** Physical
ist ein
Mitglied
von (@ROW) und
** entity
mitglied
von (@ROW) ist gleich
** Physical
%n{nicht} und
** entity
mitglied
von (@ROW) ist gleich
** ** Physical
%n{nicht} und
PositiveInteger
ist
kleinerAls
** PositiveInteger
%n{nicht},
dann die
zeit
des Bestehens von
** Physical
geschieht frueh als die
zeit
des Bestehens von
** ** Physical
%n{nicht}
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
Wenn
productPrice
** Entity
,
RealNumber
UnitOfMeasure
(s) and
CognitiveAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
publishedPrice
** Entity
,
** RealNumber
** UnitOfMeasure
(s),
** CognitiveAgent
and
PricingScheme
und
validFor
** PricingScheme
and
** AutonomousAgent
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
Process
ist ein
fall
von
Buying
%n{nicht} und
** AutonomousAgent
ist ein
direkter
fall von
** AutonomousAgent
und
** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** Process
beginnet an
** CognitiveAgent
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann die Aussage
transactionAmount
** Process
and
** RealNumber
hat die modale Kraft von
Likely
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
Wenn
typicalBloodVolume
** Mammal
and
RealNumber
UnitOfMeasure
(s) und
bloodVolume
Entity
and
** RealNumber
2
** UnitOfMeasure
(s) haelt
waehrend
TimePosition
%n{nicht} und
** Entity
ist ein
fall
von
** Mammal
%n{nicht} und
** RealNumber
2 und 2.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAls
0.8 und
** RealNumber
%n{nicht},
dann
SevereBloodLoss
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
Wenn
typicalBloodVolume
** Mammal
and
RealNumber
UnitOfMeasure
(s) und
bloodVolume
Entity
and
** RealNumber
2
** UnitOfMeasure
(s) haelt
waehrend
TimePosition
%n{nicht} und
** Entity
ist ein
fall
von
** Mammal
%n{nicht} und
** RealNumber
2 und 2.0 ist
kleinerAls
** RealNumber
%n{nicht},
dann
CatastrophicBloodLoss
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
Wenn
minDeviceOperatingTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOn
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
kleinerAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
Wenn
minDeviceStorageTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOff
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
kleinerAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
holdsDuring
?T
(
and
(
oxygenSaturation
?H ?N)
(
lessThan
?N 92.0)))
(
holdsDuring
?T
(
attribute
?H
Hypoxia
)))
Medicine.kif 1240-1246
Wenn
oxygenSaturation
entity
and
** entity
und
** ** entity
ist
kleinerAls
92.0 %n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
Hypoxia
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
consequent
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
Year
ist ein
fall
von das
jahr
Integer
%n{nicht} und
DeathsPerThousandLiveBirthsFn
GeopoliticalArea
and
** Year
ist gleich
RealNumber
%n{nicht} genau dann wenn
** Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht} und
** ** Integer
und 1000 ist gleich
** RealNumber
%n{nicht} und
** Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt %n{nicht} und
** ** Integer
und
** ** RealNumber
ist gleich
** RealNumber
%n{nicht}
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
RealNumber
ist ein
fall
von
NegativeRealNumber
%n{nicht} genau dann wenn
** RealNumber
ist
kleinerAls
0 %n{nicht} und
** RealNumber
ist ein
fall
von
RealNumber
%n{nicht}
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht} genau dann wenn
** RealNumber
ist gleich
** ** RealNumber
%n{nicht} oder
** RealNumber
ist
kleinerAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
Wenn
Anemia
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Blood
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Female
ist ein
attribut
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist 0.1
Liter
(s) %n{nicht} und
** Object
E ist ein
fall
von
Hemoglobin
%n{nicht} und
** Object
E ist ein
teil
von
** ** Object
%n{nicht} und
** Object
E2 ist ein
fall
von
Hemoglobin
nicht und
** Object
E ist gleich
** Object
E2 nicht und
** Object
2 ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** Object
E ist
RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAls
12 %n{nicht}
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
Wenn
Anemia
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Blood
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Male
ist ein
attribut
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist 0.1
Liter
(s) %n{nicht} und
** Object
E ist ein
fall
von
Hemoglobin
%n{nicht} und
** Object
E ist ein
teil
von
** ** Object
%n{nicht} und
** Object
E2 ist ein
fall
von
Hemoglobin
nicht und
** Object
E ist gleich
** Object
E2 nicht und
** Object
2 ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** Object
E ist
RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAls
13 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18727-18736
Wenn
CollegeFreshman
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
1 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18742-18752
Wenn
CollegeJunior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
2 %n{nicht} und
** RealNumber
ist
kleinerAls
3 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18758-18768
Wenn
CollegeSenior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
3 %n{nicht} und
** RealNumber
ist
kleinerAls
4 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18774-18784
Wenn
CollegeSophomore
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht} und
** RealNumber
ist
kleinerAls
2 %n{nicht}
(=>
(
and
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1148-1156
Wenn Gesetzt den Fall, dass
HeartHealthyFood
ist ein
attribut
von
entity
%n{nicht} gilt, ist die
wahrscheinlichkeit
von
ComfortFood
ist ein
attribut
von
** entity
%n{nicht}
RealNumber
und Gesetzt den Fall, dass
HeartHealthyFood
ist ein
attribut
von
** entity
nicht gilt, ist die
wahrscheinlichkeit
von
ComfortFood
ist ein
attribut
von
** entity
%n{nicht}
** RealNumber
,
dann
** RealNumber
ist
kleinerAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
Wenn
Formula
verringert die Wahrscheinlichkeit von
** Formula
%n{nicht} und die
wahrscheinlichkeit
von
** ** Formula
ist gleich
RealNumber
%n{nicht} und Gesetzt den Fall, dass
** ** Formula
gilt, ist die
wahrscheinlichkeit
von
** Formula
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13576-13585
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
kleinerAls
** RealNumber
und .5 %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13504-13513
Wenn
defaultMinimumMeasure
** 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
kleinerAls
** RealNumber
%n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?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)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13515-13526
Wenn
defaultMinimumMeasure
** 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 ist
kleinerAls
** RealNumber
%n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13466-13476
Wenn
defaultMinimumSphereRadius
** 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
kleinerAls
** RealNumber
%n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Wenn das
kleinste
gemeinsames vielfach von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann es gibt nicht
** Integer
um
** ** Integer
ist
kleinerAls
** Integer
%n{nicht} und fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
potentialCustomer
CognitiveAgent
and
** AutonomousAgent
und die Aussage
entity
ist ein
fall
von
Reserving
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Necessity
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt
** entity
ES1 um
** entity
ES1 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES1 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES1
RealNumber
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt nicht
** entity
ES2 um
** entity
ES2 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES2 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES2
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
VeryShortRunwayAirport
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Object
und
RealNumber
um
** ** Object
ist ein
fall
von
Runway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
914 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationLowPointFn
** GeographicArea
and
** GeographicArea
und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
ElevationLowPointFn
** GeographicArea
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationLowPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 888-894
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
ClearWeather
%n{nicht} und
eventLocated
** Process
and
** Region
und
cloudCoverFraction
** Region
and
NonnegativeRealNumber
,
dann
** NonnegativeRealNumber
ist
kleinerAls
0.3 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 878-886
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
ClearWeather
%n{nicht} und
eventLocated
** Process
and
** Region
,
dann es gibt
NonnegativeRealNumber
um
cloudCoverFraction
** Region
and
** NonnegativeRealNumber
und
** NonnegativeRealNumber
ist
kleinerAls
0.3 %n{nicht}
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
Wenn
SelfConnectedObject
ist ein
fall
von
Bottle
%n{nicht} und die
unterseite
von
** SelfConnectedObject
ist
** SelfConnectedObject
und die
oberseite
von
** SelfConnectedObject
ist
** SelfConnectedObject
und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und die
breite
von
** ** SelfConnectedObject
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und die
breite
von
** ** SelfConnectedObject
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10983-10996
Wenn
Process
ist ein
fall
von
Cooling
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Entity
,
RealNumber
, and und
** RealNumber
um
** ** Entity
ist ein
fall
von
TemperatureMeasure
%n{nicht} und
** Entity
** ** Entity
(s) ist gleich
** RealNumber
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
** ** Entity
(s) ist gleich
** ** RealNumber
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
Wenn
Process
ist ein
fall
von
CPR
%n{nicht} und
Motion
ist ein
fall
von
Compressing
%n{nicht} und
Object
ist der
pfad
entlang dem
** Motion
geschieht und
** Motion
ist ein
subProzess
von
** Process
und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
5.0 %n{nicht} und
** RealNumber
ist
kleinerAls
6.0 %n{nicht}
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
Wenn
ComputerProcess
ist ein
fall
von
DataCompression
%n{nicht} und
dataProcessed
** ComputerProcess
and
DigitalData
und
memorySize
** DigitalData
and
RealNumber
entity
(s) haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** ComputerProcess
%n{nicht} und
memorySize
** DigitalData
and
** RealNumber
** entity
(s) haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** ComputerProcess
%n{nicht},
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6099-6106
Es gibt nicht
GraphPath
und
** GraphPath
um
** GraphPath
ist ein
fall
von die
menge
von Pfaden die
Graph
in zwei verschiedene Graphen schnitten %n{nicht} und
** ** GraphPath
ist ein
fall
von die
menge
von minimalen Pfaden die
** Graph
in zwei verschiedene Graphen schnitten %n{nicht} und die
laenge
von
** GraphPath
ist
PositiveInteger
%n{nicht} und die
laenge
von
** ** GraphPath
ist
** PositiveInteger
%n{nicht} und
** PositiveInteger
ist
kleinerAls
** ** PositiveInteger
%n{nicht}
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