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
greaterThanOrEqualTo
Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo
appearance as argument number 1
(
documentation
greaterThanOrEqualTo
ChineseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
多于或者等于 ?NUMBER2 的
Quantity
。")
chinese_format.kif 1735-1736
(
documentation
greaterThanOrEqualTo
EnglishLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than or equal to the
Quantity
?NUMBER2.")
Merge.kif 1881-1883
(
documentation
greaterThanOrEqualTo
JapaneseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1が
Quantity
?NUMBER2以上の場合に当てはまる。")
japanese_format.kif 343-344
(
domain
greaterThanOrEqualTo
1
RealNumber
)
Merge.kif 1877-1877
Die Zahl 1 Argument von
groesserAlsOderGleich
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
greaterThanOrEqualTo
2
RealNumber
)
Merge.kif 1878-1878
Die Zahl 2 Argument von
groesserAlsOderGleich
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
greaterThanOrEqualTo
BinaryPredicate
)
Merge.kif 1873-1873
groesserAlsOderGleich
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
groesserAlsOderGleich
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
(
instance
greaterThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1875-1875
groesserAlsOderGleich
ist ein
fall
von
RelationExtendedToQuantities
%n{nicht}
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1879-1879
groesserAlsOderGleich
ist eine
inverse
von
kleinerAlsOderGleich
%n{nicht}
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
groesserAlsOderGleich
ist eine
trichotomizierung
auf
RealNumber
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
greaterThanOrEqualTo
"%1 %n 是
greaterThanOrEqualTo
%2")
chinese_format.kif 113-113
(
format
EnglishLanguage
greaterThanOrEqualTo
"%1 is %n greater than or equal to %2")
english_format.kif 113-113
(
format
FrenchLanguage
greaterThanOrEqualTo
"%1 est %n plus grand ou �gal � %2")
french_format.kif 78-78
(
format
ItalianLanguage
greaterThanOrEqualTo
"%1 è %n più grande di o uguale a %2")
relations-it.txt 122-122
(
format
JapaneseLanguage
greaterThanOrEqualTo
"%1 は %2 greater では %n")
japanese_format.kif 1905-1905
(
format
PortugueseLanguage
greaterThanOrEqualTo
"%1 e' %n maior ou igual a %2")
portuguese_format.kif 30-30
(
format
cz
greaterThanOrEqualTo
"%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2")
relations-cz.txt 79-79
(
format
de
greaterThanOrEqualTo
"%1 ist groesserAlsOderGleich %2 %n{nicht}")
relations-de.txt 130-130
(
format
hi
greaterThanOrEqualTo
"%1 %2 se badaa yaa baraabara %n hai")
relations-hindi.txt 162-162
(
format
ro
greaterThanOrEqualTo
"%1 %n{nu} este greater%t{mai mare} sau egal decât %2")
relations-ro.kif 97-97
(
format
sv
greaterThanOrEqualTo
"%1 är %n{inte} större än eller lika med %2")
relations-sv.txt 77-77
(
format
tg
greaterThanOrEqualTo
"%1 %n ay mas malaki sa o pareho sa %2")
relations-tg.txt 250-250
(
termFormat
ChineseLanguage
greaterThanOrEqualTo
"大于或等于")
chinese_format.kif 114-114
(
termFormat
ChineseTraditionalLanguage
greaterThanOrEqualTo
"大於或等於")
domainEnglishFormat.kif 26537-26537
(
termFormat
EnglishLanguage
greaterThanOrEqualTo
"greater than or equal to")
domainEnglishFormat.kif 26536-26536
(
termFormat
de
greaterThanOrEqualTo
"groesserAlsOderGleich")
terms-de.txt 38-38
(
termFormat
tg
greaterThanOrEqualTo
"mas malaki sa o pareho sa")
relations-tg.txt 251-251
antecedent
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7469-7479
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
** RealNumber
ist
groesserAlsOderGleich
2.5 %n{nicht} genau dann wenn es gibt
** Object
25 um
** Object
25 ist ein
fall
von
FineParticulateMatter
%n{nicht} und
** Object
25 ist ein
teil
von
** Object
%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}
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
arableLandArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
ArableLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
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
,
Selling
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
bidPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
Wenn
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} 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
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
Gas
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
Boiling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
Wenn
climateTypeInArea
GeographicArea
and
TropicalClimateZone
und
Month
ist ein
fall
von
Month
%n{nicht} und
averageRainfallForPeriod
** GeographicArea
,
** Month
and
RealNumber
ein
tausendstes
einer
Meter
(s) und
** RealNumber
ist
groesserAlsOderGleich
60.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
and
WetTropicalClimateZone
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
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
groesserAlsOderGleich
18 %n{nicht},
dann
** Entity
ist ein
fall
von
HumanAdult
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2165-2176
Wenn
otherLandUseArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
otherLandUseArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
Wenn
otherLandUseArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
LandArea
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
ArableLand
nicht und
** ** GeographicArea
ist ein
fall
von
PermanentCropLand
nicht und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2125-2136
Wenn
permanentCropLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
permanentCropLandArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
Wenn
permanentCropLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
PermanentCropLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
RealNumber
YearDuration
(s) und das
alter
von
** Human
ist
** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht}
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
Wenn
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
RealNumber
YearDuration
(s) und das
alter
von
** Human
ist
** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann
** Human
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun
consequent
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
RealNumber
ist ein
fall
von
NonnegativeRealNumber
%n{nicht} genau dann wenn
** RealNumber
ist
groesserAlsOderGleich
0 %n{nicht} und
** RealNumber
ist ein
fall
von
RealNumber
%n{nicht}
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
Wenn
Healthy
ist ein
attribut
von
Mammal
%n{nicht} und
restingBreathingRate
** Mammal
and
Integer
,
dann
** Integer
ist
groesserAlsOderGleich
12 %n{nicht} und 16 ist
groesserAlsOderGleich
** Integer
%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 18743-18753
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 18759-18769
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 18775-18785
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
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
Wenn
Human
ist der
buerger
von
Nation
und
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
** Nation
%n{nicht},
dann
RegionalLawFn
** Nation
erlaubt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
Wenn
climateTypeInArea
GeographicArea
and
TemperateClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
-3.0 %n{nicht}
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
Wenn der Pfad der niedrigsten 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
groesserAlsOderGleich
** RealNumber
%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
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8045-8052
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Integer
ist gleich die Zahl
Faellen
in
CitizenryFn
** GeopoliticalArea
%n{nicht} und
** Integer
ist gleich die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
%n{nicht},
dann
** ** Integer
ist
groesserAlsOderGleich
** Integer
%n{nicht}
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
OpeningAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht},
dann es gibt
FinancialTransaction
,
TimePoint
, and und
** RealNumber
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
agreementEffectiveDate
** FinancialAccount
and
** TimePoint
und
datum
von
** FinancialTransaction
ist
** TimePoint
%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
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
Wenn
Process
ist ein
fall
von
Boiling
%n{nicht} und
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%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
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Wenn
Object
ist ein
fall
von
Crystal
%n{nicht} und
MonoCrystalline
ist ein
attribut
von
** Object
%n{nicht} und
SelfConnectedObject
ist ein
fall
von
Substance
%n{nicht} und
Solid
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
PolyCrystalline
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Substance
%n{nicht} und
** ** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht} und
** Object
ist ein
teil
von
** ** SelfConnectedObject
nicht,
dann es gibt
** Object
LNT,
Integer
, and und
** Object
um
** Object
LNT ist ein
fall
von
Collection
%n{nicht} und
memberCount
** Object
LNT and
** Integer
und
** Integer
ist
groesserAlsOderGleich
4 %n{nicht} und
wenn
** ** Object
ist ein
Mitglied
von
** Object
LNT %n{nicht},
dann
** ** Object
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
** Object
schliesst
** ** Object
raeumlich an
(=>
(
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
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
Wenn
Object
ist ein
fall
von
InternalCombustionEngine
%n{nicht} und
** Object
ist ein
fall
von
CombustionChamber
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Entity
ist ein
fall
von
Fuel
%n{nicht} und
** Entity
ist ein
fall
von
UnitOfVolume
%n{nicht} und
contains
** ** Object
and
** Entity
und das
mass
von
** Entity
ist
** entity
** ** Entity
(s) %n{nicht} und
EngineFlooded
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** ** Object
hat Zweck von es gibt nicht
** Entity
2 und
** entity
um
** Entity
2 ist ein
fall
von
Fuel
%n{nicht} und
contains
** ** Object
and
** Entity
2 und das
mass
von
** Entity
2 ist
** ** entity
** ** Entity
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** ** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1003-1012
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
suffrageAgeMinimum
** AutonomousAgent
and
RealNumber
YearDuration
(s) und das
alter
von
** ** AutonomousAgent
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
wenn ?AGENT ist der
buerger
von ?POLITY und
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) und das
alter
von ?AGENT ist ?AGE
YearDuration
(s) %n{nicht} und ?AGE ist
groesserAlsOderGleich
?VOTINGAGE %n{nicht} und ?ELECTION ist ein
fall
von
ElectionFn
?POLITY %n{nicht},
dann ?AGENT ist faehig %n{nicht}, in der Rolle
agent
VotingFn
?ELECTION zu tun
enthaelt Informationen ueber
UniversalSuffrageLaw
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
wenn ?VOTER ist der
buerger
von ?POLITY und
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) und das
alter
von ?VOTER ist ?AGE
YearDuration
(s) %n{nicht} und ?AGE ist
groesserAlsOderGleich
?VOTINGAGE %n{nicht} und ?ELECTION ist ein
fall
von
ElectionFn
?POLITY %n{nicht},
dann es gibt ?VOTING um ?VOTING ist ein
fall
von
VotingFn
?ELECTION %n{nicht} und ?VOTING ist der
agent
von ?VOTER %n{nicht}
enthaelt Informationen ueber
CompulsorySuffrageLaw
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
AvailableForMilitaryServiceMaleFn
GeopoliticalArea
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
FitForMilitaryServiceMaleFn
GeopoliticalArea
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
appearance as argument number 0
(
greaterThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 11)
Media.kif 1965-1965
Die Zahl
Faellen
in
TwelveApostles
ist
groesserAlsOderGleich
11 %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