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
lessThanOrEqualTo
Sigma KEE - lessThanOrEqualTo
lessThanOrEqualTo
appearance as argument number 1
(
documentation
lessThanOrEqualTo
ChineseLanguage
"(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
少于或者等于 ?NUMBER2 的
Quantity
。")
chinese_format.kif 1733-1734
(
documentation
lessThanOrEqualTo
EnglishLanguage
"(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is less than or equal to the
Quantity
?NUMBER2.")
Merge.kif 1863-1865
(
documentation
lessThanOrEqualTo
JapaneseLanguage
"(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1が
Quantity
?NUMBER2以下の場合に当てはまる。")
japanese_format.kif 341-342
(
domain
lessThanOrEqualTo
1
RealNumber
)
Merge.kif 1860-1860
Die Zahl 1 Argument von
kleinerAlsOderGleich
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
lessThanOrEqualTo
2
RealNumber
)
Merge.kif 1861-1861
Die Zahl 2 Argument von
kleinerAlsOderGleich
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
lessThanOrEqualTo
BinaryPredicate
)
Merge.kif 1856-1856
kleinerAlsOderGleich
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
kleinerAlsOderGleich
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
(
instance
lessThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1858-1858
kleinerAlsOderGleich
ist ein
fall
von
RelationExtendedToQuantities
%n{nicht}
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
kleinerAlsOderGleich
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
lessThanOrEqualTo
"%1 %n 是
lessThanOrEqualTo
%2")
chinese_format.kif 143-143
(
format
EnglishLanguage
lessThanOrEqualTo
"%1 is %n less than or equal to %2")
english_format.kif 144-144
(
format
FrenchLanguage
lessThanOrEqualTo
"%1 est %n plus petit ou �gal � %2")
french_format.kif 93-93
(
format
ItalianLanguage
lessThanOrEqualTo
"%1 è%n minore o uguale a %2")
relations-it.txt 164-164
(
format
JapaneseLanguage
lessThanOrEqualTo
"%1 は %2 より less または同等 では %n")
japanese_format.kif 1920-1920
(
format
PortugueseLanguage
lessThanOrEqualTo
"%1 e' %n menor ou igual a %2")
portuguese_format.kif 45-45
(
format
cz
lessThanOrEqualTo
"%1 %p{je} %n{nen�} men�� ne� nebo roven %2")
relations-cz.txt 78-78
(
format
de
lessThanOrEqualTo
"%1 ist kleinerAlsOderGleich %2 %n{nicht}")
relations-de.txt 174-174
(
format
hi
lessThanOrEqualTo
"%1 %2 se kama yaa baraabara %n hai")
relations-hindi.txt 203-203
(
format
ro
lessThanOrEqualTo
"%1 %n{nu} este less%t{mai mic} sau egal decât %2")
relations-ro.kif 112-112
(
format
sv
lessThanOrEqualTo
"%1 är %n{inte} mindre än eller lika med %2")
relations-sv.txt 92-92
(
format
tg
lessThanOrEqualTo
"%1 %n ay meno o pareho ng %2")
relations-tg.txt 327-327
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1879-1879
groesserAlsOderGleich
ist eine
inverse
von
kleinerAlsOderGleich
%n{nicht}
(
termFormat
ChineseLanguage
lessThanOrEqualTo
"小于或等于")
domainEnglishFormat.kif 34151-34151
(
termFormat
ChineseLanguage
lessThanOrEqualTo
"少于或等于")
chinese_format.kif 144-144
(
termFormat
ChineseTraditionalLanguage
lessThanOrEqualTo
"小於或等於")
domainEnglishFormat.kif 34150-34150
(
termFormat
EnglishLanguage
lessThanOrEqualTo
"less than or equal to")
domainEnglishFormat.kif 34149-34149
(
termFormat
de
lessThanOrEqualTo
"kleinerAlsOderGleich")
terms-de.txt 53-53
(
termFormat
tg
lessThanOrEqualTo
"meno o pareho ng")
relations-tg.txt 328-328
antecedent
(<=>
(
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
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Buying
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
askPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
Wenn
commemoratesDate
** Holiday
and der
tag
PositiveInteger
und
Entity
ist ein
fall
von
** Holiday
%n{nicht} und
** ** Holiday
ist eine
teilkategorie
von
FixedHoliday
und
Integer
ist
kleinerAlsOderGleich
** entity
-YEAR %n{nicht},
dann
** Entity
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht}
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
Wenn
List
ist gleich die Liste bestanden aus
** List
und
** List
%n{nicht} und
** ** List
ist gleich
NullList
nicht und
** ** List
ist gleich
NullList
nicht und
PositiveInteger
ist
kleinerAlsOderGleich
Laenge
von
** ** List
%n{nicht} und
** PositiveInteger
ist
kleinerAlsOderGleich
Laenge
von
** ** List
%n{nicht} und
** PositiveInteger
ist ein
fall
von
PositiveInteger
%n{nicht} und
** ** PositiveInteger
ist ein
fall
von
PositiveInteger
%n{nicht},
dann
** PositiveInteger
te
mitglied
von
** List
ist gleich
** PositiveInteger
te
mitglied
von
** ** List
%n{nicht} und (
Laenge
von
** ** List
und
** ** PositiveInteger
)te
mitglied
von
** List
ist gleich
** ** PositiveInteger
te
mitglied
von
** ** List
%n{nicht}
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
Wenn
Object
ist ein
fall
von
MaritimeClaimsTerritorialSeaFn
Region
%n{nicht} und die
breite
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
Physical
und
** Region
ist
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** Physical
befindet
sich an %n{nicht}
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Wenn
Device
ist ein
fall
von
Gun
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
effectiveRange
** Device
and
RealNumber
** UnitOfMeasure
(s) und der
abstand
zwischen
** Device
und
Object
ist
** RealNumber
1
** UnitOfMeasure
(s) und
** Object
ist ein
fall
von
Organism
%n{nicht} und es gibt nicht
** Object
2 um
** Object
2 ist
zwischen
** Object
und
** Device
%n{nicht} und
** RealNumber
1 ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
SymbolicString
um
** Device
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
** SymbolicString
beschreibt zu tun
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Wenn
Device
ist ein
fall
von
Gun
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
effectiveRange
** Device
and
RealNumber
** UnitOfMeasure
(s) und der
abstand
zwischen
** Device
und
Object
ist
** RealNumber
1
** UnitOfMeasure
(s) und es gibt nicht
** Object
2 um
** Object
2 ist
zwischen
** Object
und
** Device
%n{nicht} und
** RealNumber
1 ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
SymbolicString
um
** Device
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
** SymbolicString
beschreibt zu tun
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 392-397
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
kleinerAlsOderGleich
1 %n{nicht},
dann
** Entity
ist ein
fall
von
HumanBaby
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 311-318
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
kleinerAlsOderGleich
14 %n{nicht},
dann
** Entity
ist ein
fall
von
HumanChild
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Wenn
Object
ist ein
fall
von
WindFlow
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht} und
elevation
** Object
and
RealNumber
FootLength
(s) und
** RealNumber
ist
kleinerAlsOderGleich
500.0 %n{nicht} und das
mass
von
** Object
ist
LengthMeasure
pro
&2 %n{nicht},
dann
surfaceWindSpeed
** ** Object
and
** LengthMeasure
pro
&2
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
Wenn
maximumPayloadCapacity
Vehicle
and
RealNumber
UnitOfMeasure
(s) und
maximumPayloadHeightWidth
** Vehicle
,
** RealNumber
** UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
SelfConnectedObject
ist ein
fall
von
SelfConnectedObject
%n{nicht} und
weight
** SelfConnectedObject
and
** RealNumber
** ** RealNumber
U(s) und die
breite
von
** SelfConnectedObject
ist
** RealNumber
** ** RealNumber
U(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist
** RealNumber
** ** RealNumber
U(s) %n{nicht} und
** ** RealNumber
U ist gleich
** UnitOfMeasure
%n{nicht} und
** ** RealNumber
U ist gleich
** ** UnitOfMeasure
%n{nicht} und
** ** RealNumber
U ist gleich
** ** UnitOfMeasure
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht},
dann
** Vehicle
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
SymbolicString
beschreibt zu tun
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
Wenn
navigableForDraft
WaterArea
and
RealNumber
Meter
(s) und
ladenDraft
WaterVehicle
and
** RealNumber
Meter
(s) und
** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig nicht, in der Rolle
path
TripFn
** WaterVehicle
zu tun
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2637-2643
Wenn
navigableForShippingTonnage
WaterArea
and
RealNumber
LongTon
(s) und
WaterVehicle
ist ein
fall
von
WaterVehicle
%n{nicht} und
vesselDisplacement
** WaterVehicle
and
** RealNumber
LongTon
(s) und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig %n{nicht}, in der Rolle
path
TripFn
** WaterVehicle
zu tun
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Wenn
Object
ist
Outside
hinsichlich
Region
%n{nicht} und
** Object
ist ein
fall
von
PerimeterAreaFn
** Region
%n{nicht} und
** ** Object
ist ein
fall
von
UniformPerimeterArea
%n{nicht} und die
breite
von
** ** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** Object
und
** Region
ist
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und (
** ** RealNumber
und
** RealNumber
) ist
kleinerAlsOderGleich
0.0 %n{nicht},
dann
** Object
befindet
sich an %n{nicht}
consequent
(<=>
(
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}
(=>
(
and
(
equal
(
MaximalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
lessThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6044-6050
Wenn der Pfad der hoechsten Kosten zwischen
GraphNode
und
** GraphNode
ist gleich
GraphPath
%n{nicht} und der
wert
von
** GraphPath
ist gleich
RealNumber
%n{nicht} und
** GraphPath
2 ist ein
fall
von die
menge
von Pfaden zwischen
** GraphNode
und
** ** GraphNode
%n{nicht} und der
wert
von
** GraphPath
2 ist gleich
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
Wenn
LatitudeFn
DirectionalAttribute
and @ROW ist ein
fall
von
Region
%n{nicht} und 1te
mitglied
von (@ROW) ist gleich
RealNumber
AngularDegree
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
90.0 %n{nicht}
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
Wenn
LongitudeFn
DirectionalAttribute
and @ROW ist ein
fall
von
Region
%n{nicht} und 1te
mitglied
von (@ROW) ist gleich
RealNumber
AngularDegree
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
180.0 %n{nicht}
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
LongRunwayAirport
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
groesserAlsOderGleich
2438 %n{nicht} oder
** RealNumber
ist
kleinerAlsOderGleich
3047 %n{nicht}
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
MediumLengthRunwayAirport
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
groesserAlsOderGleich
1524 %n{nicht} oder
** RealNumber
ist
kleinerAlsOderGleich
2437 %n{nicht}
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
ShortRunwayAirport
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
groesserAlsOderGleich
914 %n{nicht} oder
** RealNumber
ist
kleinerAlsOderGleich
1523 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
PartlyCloudyWeather
%n{nicht} und
eventLocated
** Process
and
** Region
und
cloudCoverFraction
** Region
and
NonnegativeRealNumber
,
dann
** NonnegativeRealNumber
ist
groesserAlsOderGleich
0.3 %n{nicht} und
** NonnegativeRealNumber
ist
kleinerAlsOderGleich
0.7 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
PartlyCloudyWeather
%n{nicht} und
eventLocated
** Process
and
** Region
,
dann es gibt
NonnegativeRealNumber
um
cloudCoverFraction
** Region
and
** NonnegativeRealNumber
und
** NonnegativeRealNumber
ist
groesserAlsOderGleich
0.3 %n{nicht} und
** NonnegativeRealNumber
ist
kleinerAlsOderGleich
0.7 %n{nicht}
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
Wenn
Object
ist ein
fall
von
Brine
%n{nicht} und das
mass
von
** Object
ist 1.0
Liter
(s) %n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
SodiumChloride
%n{nicht} und das
mass
von
** ** Object
ist
RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
35.0 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
260.0 %n{nicht}
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
DarkRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
225 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
245 %n{nicht}
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
LightRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
196 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
205 %n{nicht}
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
MediumRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
210 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
219 %n{nicht}
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
Wenn
Object
ist ein
fall
von
CoffeeArabica
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
C ist ein
fall
von
Caffeine
%n{nicht} und
** Object
C ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Object
C ist
** RealNumber
Gram
(s) %n{nicht} und
** RealNumber
ist gleich
** ** RealNumber
und
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
0.008 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
0.014 %n{nicht}
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
Wenn
Object
ist ein
fall
von
CoffeeRobusta
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
C ist ein
fall
von
Caffeine
%n{nicht} und
** Object
C ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Object
C ist
** RealNumber
Gram
(s) %n{nicht} und
** RealNumber
ist gleich
** ** RealNumber
und
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
0.017 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
0.04 %n{nicht}
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
Wenn
Object
ist ein
fall
von
FlatWhite
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** Substance
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.15 und
** ** RealNumber
ist
groesserAlsOderGleich
1.0 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
20.0 %n{nicht}
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
Wenn
GeopoliticalArea
ist ein
fall
von
City
%n{nicht} und
** GeopoliticalArea
ist ein
teil
von
France
%n{nicht},
dann die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
ist
kleinerAlsOderGleich
die Zahl
Faellen
in
ResidentFn
Paris
%n{nicht}
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1075-1084
Wenn
Election
ist ein
fall
von
ElectionFn
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffrageAgeMaximum
** AutonomousAgent
and
RealNumber
YearDuration
(s) und das
alter
von
** ** AutonomousAgent
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1062-1073
Wenn
Election
ist ein
fall
von
ElectionFn
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffrageAgeMaximum
** AutonomousAgent
and
RealNumber
YearDuration
(s),
dann es gibt
** RealNumber
um das
alter
von
** ** AutonomousAgent
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
** UnitOfMeasure
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
Wenn
Physical
ist ein
fall
von
Ice
%n{nicht} und das
mass
von
** Physical
ist
RealNumber
CelsiusDegree
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
0.0 %n{nicht}
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
Wenn
Object
ist ein
fall
von
SemiSkimmedMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.015 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.02 und
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
Wenn
Object
ist ein
fall
von
SkimmedMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.0 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.005 und
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
Wenn
Object
ist ein
fall
von
WholeMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.0325 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.05 und
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
NarrowGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
1.435 %n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
lessThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 12)
Media.kif 1966-1966
Die Zahl
Faellen
in
TwelveApostles
ist
kleinerAlsOderGleich
12 %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