Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  greaterThanOrEqualTo

Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo

appearance as argument number 1
-------------------------


s__documentation(s__greaterThanOrEqualTo__m,s__ChineseLanguage,'(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 多于或者等于 ?NUMBER2 的 Quantity。')

Merge.kif 1937-1938
s__documentation(s__greaterThanOrEqualTo__m,s__EnglishLanguage,'(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than or equal to the Quantity ?NUMBER2.')

Merge.kif 1934-1936
s__domain(s__greaterThanOrEqualTo__m,1,s__Quantity)

Merge.kif 1931-1931
s__domain(s__greaterThanOrEqualTo__m,2,s__Quantity)

Merge.kif 1932-1932
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 1927-1927
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 1928-1928
s__instance(s__greaterThanOrEqualTo__m,s__RelationExtendedToQuantities)

Merge.kif 1929-1929
s__inverse(s__greaterThanOrEqualTo__m,s__lessThanOrEqualTo__m)

Merge.kif 1933-1933
s__trichotomizingOn(s__greaterThanOrEqualTo__m,s__RealNumber)

Merge.kif 1930-1930

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__greaterThanOrEqualTo__m,'%1 %n 是 greaterThanOrEqualTo %2')

chinese_format.kif 113-113
s__format(s__EnglishLanguage,s__greaterThanOrEqualTo__m,'%1 is %n greater than or equal to %2')

english_format.kif 83-83
s__format(s__FrenchLanguage,s__greaterThanOrEqualTo__m,'%1 est %n plus grand ou �gal � %2')

french_format.kif 78-78
s__format(s__ItalianLanguage,s__greaterThanOrEqualTo__m,'%1 � %n pi� grande di o uguale a %2')

relations-it.txt 122-122
s__format(s__PortugueseLanguage,s__greaterThanOrEqualTo__m,'%1 e %n maior ou igual a %2')

portuguese_format.kif 30-30
s__format(s__ar__m,s__greaterThanOrEqualTo__m,'%1 هو %n أكْبَر أو يُسَاوِي %2')

arabic_format.kif 28-28
s__format(s__cz__m,s__greaterThanOrEqualTo__m,'%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2')

relations-cz.txt 79-79
s__format(s__de__m,s__greaterThanOrEqualTo__m,'%1 ist groesserAlsOderGleich %2 %n{nicht}')

relations-de.txt 130-130
s__format(s__hi__m,s__greaterThanOrEqualTo__m,'%1 %2 se badaa yaa baraabara %n hai')

relations-hindi.txt 162-162
s__format(s__tg__m,s__greaterThanOrEqualTo__m,'%1 %n ay mas malaki sa o pareho sa %2')

relations-tg.txt 250-250
s__termFormat(s__ChineseLanguage,s__greaterThanOrEqualTo__m,'大于或等于')

chinese_format.kif 114-114
s__termFormat(s__EnglishLanguage,s__greaterThanOrEqualTo__m,'greater than or equal to')

domainEnglishFormat.kif 4844-4844
s__termFormat(s__ar__m,s__greaterThanOrEqualTo__m,'«أكْبَر أو يُسَاوِي»')

arabic_format.kif 478-478
s__termFormat(s__tg__m,s__greaterThanOrEqualTo__m,'mas malaki sa o pareho sa')

relations-tg.txt 251-251

antecedent
-------------------------


( ∀ [V__PM,V__P,V__S]
   ((s__instance(V__PM,s__ParticulateMatter) ∧
       s__part(V__P,V__PM)
     ∧
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   ∧
   s__greaterThanOrEqualTo(V__S,2.5))
<⇒
(∃ [V__PM25]
(s__instance(V__PM25,s__FineParticulateMatter) ∧
   s__part(V__PM25,V__PM))))
)

Geography.kif 6850-6860
( ∀ [V__NUMBER1,V__NUMBER2]
   (s__greaterThanOrEqualTo(V__NUMBER1,V__NUMBER2)
   <⇒
   ((V__NUMBER1 = V__NUMBER2)
     ∨
     s__greaterThan(V__NUMBER1,V__NUMBER2)))
)

Merge.kif 1940-1944
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__UNIT,V__AMOUNT]
   ((s__arableLandArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))

s__instance(V__UNIT,s__UnitOfArea) ∧
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))

s__arableLandArea(V__REGION,V__AMOUNT))
)

Geography.kif 2028-2035
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__UNIT]
   ((s__arableLandArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))

s__instance(V__UNIT,s__UnitOfArea))

(∃ [V__ARABLE]
(s__instance(V__ARABLE,s__ArableLand) ∧
s__geographicSubregion(V__ARABLE,V__REGION)

s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))
)

Geography.kif 2037-2047
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__AMOUNT]
   ((s__arableLandArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,V__TOTAL)

s__instance(V__TOTAL,s__AreaMeasure) ∧
(V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))

s__arableLandArea(V__REGION,V__AMOUNT))
)

Geography.kif 2019-2026
No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13785
( ∀ [V__AREA]
   ((s__instance(V__AREA,s__TropicalClimateZone) ∧
       (∀ [V__MO,V__AMOUNT]
         (s__averageRainfallForPeriod(V__AREA,V__MO,V__AMOUNT)
         ⇒
         s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(60,s__MilliFn(s__Meter))))))

s__instance(V__AREA,s__WetTropicalClimateZone))
)

Geography.kif 1288-1295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-364
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1984
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__UNIT,V__AMOUNT]
   ((s__otherLandUseArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))

s__instance(V__UNIT,s__UnitOfArea) ∧
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))

s__otherLandUseArea(V__REGION,V__AMOUNT))
)

Geography.kif 2118-2125
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__UNIT]
   ((s__otherLandUseArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))

s__instance(V__UNIT,s__UnitOfArea))

(∃ [V__OTHER]
(s__instance(V__OTHER,s__LandArea) ∧
s__instance(V__OTHER,s__ArableLand))

s__instance(V__OTHER,s__PermanentCropLand))

s__geographicSubregion(V__OTHER,V__REGION)

s__measure(V__OTHER,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))
)

Geography.kif 2127-2139
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__AMOUNT]
   ((s__otherLandUseArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,V__TOTAL)

s__instance(V__TOTAL,s__AreaMeasure) ∧
(V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))

s__otherLandUseArea(V__REGION,V__AMOUNT))
)

Geography.kif 2109-2116
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__UNIT,V__AMOUNT]
   ((s__permanentCropLandArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))

s__instance(V__UNIT,s__UnitOfArea) ∧
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))

s__permanentCropLandArea(V__REGION,V__AMOUNT))
)

Geography.kif 2076-2083
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__UNIT]
   ((s__permanentCropLandArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))

s__instance(V__UNIT,s__UnitOfArea))

(∃ [V__PERMCROP]
(s__instance(V__PERMCROP,s__PermanentCropLand) ∧
s__geographicSubregion(V__PERMCROP,V__REGION)

s__measure(V__PERMCROP,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))
)

Geography.kif 2085-2095
( ∀ [V__REGION,V__FRACTION,V__TOTAL,V__AMOUNT]
   ((s__permanentCropLandArea(V__REGION,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0)
   ∧
   s__totalArea(V__REGION,V__TOTAL)

s__instance(V__TOTAL,s__AreaMeasure) ∧
(V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))

s__permanentCropLandArea(V__REGION,V__AMOUNT))
)

Geography.kif 2067-2074
( ∀ [V__POLITY,V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION]
   ((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)

s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)

s__age(V__AGENT,V__AGE)

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))

(∃ [V__VOTING]
(s__instance(V__VOTING,s__VotingFn(V__ELECTION))

s__agent(V__VOTING,V__AGENT))))
)

Government.kif 1143-1154
( ∀ [V__POLITY,V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION]
   ((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)

s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)

s__age(V__AGENT,V__AGE)

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))

s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
)

Government.kif 1093-1101

consequent
-------------------------


( ∀ [V__NUMBER]
   (s__instance(V__NUMBER,s__NonnegativeRealNumber) <⇒
     (s__greaterThanOrEqualTo(V__NUMBER,0)
     ∧
     s__instance(V__NUMBER,s__RealNumber)))
)

Merge.kif 1985-1989
( ∀ [V__QUANTITY,V__FROM,V__TO]
   (s__instance(V__QUANTITY,s__IntervalFn(V__FROM,V__TO))
<⇒
(s__greaterThanOrEqualTo(V__QUANTITY,V__FROM)

s__lessThanOrEqualTo(V__QUANTITY,V__TO)))
)

Merge.kif 6769-6773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16295-16306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16312-16323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16329-16340
No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [V__NODE1,V__NODE2,V__PATH,V__NUMBER1,V__NUMBER2]
   (((s__MinimalWeightedPathFn(V__NODE1,V__NODE2)
       = V__PATH)
     ∧
     (s__PathWeightFn(V__PATH)
     = V__NUMBER1))

(∀ [V__PATH2]
   ((s__instance(V__PATH2,s__GraphPathFn(V__NODE1,V__NODE2))
   ∧
   (s__PathWeightFn(V__PATH2)
   = V__NUMBER2))

s__greaterThanOrEqualTo(V__NUMBER2,V__NUMBER1))))
)

Merge.kif 6130-6139
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport) ∧
       s__attribute(V__AIRPORT,s__LongRunwayAirport))
     ⇒
     (∃ [V__RUNWAY,V__LENGTH]
       (s__instance(V__RUNWAY,s__Runway) ∧
         s__part(V__RUNWAY,V__AIRPORT)
       ∧
       s__length(V__RUNWAY,V__LENGTH)
     ∧
     (s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(2438,s__Meter))
     ∨
     s__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(3047,s__Meter))))))
)

Transportation.kif 1390-1401
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport) ∧
       s__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
     ⇒
     (∃ [V__RUNWAY,V__LENGTH]
       (s__instance(V__RUNWAY,s__Runway) ∧
         s__part(V__RUNWAY,V__AIRPORT)
       ∧
       s__length(V__RUNWAY,V__LENGTH)
     ∧
     (s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(1524,s__Meter))
     ∨
     s__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(2437,s__Meter))))))
)

Transportation.kif 1372-1383
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport) ∧
       s__attribute(V__AIRPORT,s__ShortRunwayAirport))
     ⇒
     (∃ [V__RUNWAY,V__LENGTH]
       (s__instance(V__RUNWAY,s__Runway) ∧
         s__part(V__RUNWAY,V__AIRPORT)
       ∧
       s__length(V__RUNWAY,V__LENGTH)
     ∧
     (s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(914,s__Meter))
     ∨
     s__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(1523,s__Meter))))))
)

Transportation.kif 1354-1365
( ∀ [V__AREA,V__WEATHER,V__FRACTION]
   ((s__instance(V__AREA,s__GeographicArea) ∧
       s__instance(V__WEATHER,s__PartlyCloudyWeather) ∧
       s__eventLocated(V__WEATHER,V__AREA)
     ∧
     s__cloudCoverFraction(V__AREA,V__FRACTION))

(s__greaterThanOrEqualTo(V__FRACTION,0.3)

s__lessThanOrEqualTo(V__FRACTION,0.7)))
)

Weather.kif 529-537
( ∀ [V__AREA,V__WEATHER]
   ((s__instance(V__AREA,s__GeographicArea) ∧
       s__instance(V__WEATHER,s__PartlyCloudyWeather) ∧
       s__eventLocated(V__WEATHER,V__AREA))
   ⇒
   (∃ [V__FRACTION]
     (s__cloudCoverFraction(V__AREA,V__FRACTION)
     ∧
     s__greaterThanOrEqualTo(V__FRACTION,0.3)
   ∧
   s__lessThanOrEqualTo(V__FRACTION,0.7))))
)

Weather.kif 518-527
( ∀ [V__AREA,V__CITIZENRY,V__POPULATION]
   ((s__instance(V__AREA,s__GeopoliticalArea) ∧
       (V__CITIZENRY = s__CitizenryFn(V__AREA))
     ∧
     (V__POPULATION = s__ResidentFn(V__AREA)))

s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY))
)

Mid-level-ontology.kif 7786-7791
( ∀ [V__AREA,V__MO,V__TEMP]
   ((s__instance(V__AREA,s__TemperateClimateZone) ∧
       s__subclass(V__MO,s__Month) ∧
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   ⇒
   s__greaterThanOrEqualTo(V__TEMP,s__MeasureFn(-3,s__CelsiusDegree)))
)

Geography.kif 1381-1386
( ∀ [V__Account,V__FinancialAccount,V__Balance,V__Amount,V__Date]
   ((s__instance(V__Account,V__FinancialAccount)
     ∧
     s__minimumBalance(V__Account,s__OpeningAnAccount,V__Balance))

(∃ [V__Payment]
   (s__destination(V__Payment,s__CurrencyFn(V__Account))

s__transactionAmount(V__Payment,V__Amount)

s__greaterThanOrEqualTo(V__Amount,V__Balance)

s__agreementEffectiveDate(V__Account,V__Date)

s__date(V__Payment,V__Date))))
)

FinancialOntology.kif 646-656
No TPTP formula. May not be expressible in strict first order. Merge.kif 13762-13770
( ∀ [V__C,V__Sub,V__S,V__X,V__MBR]
   ((s__instance(V__C,s__Crystal) ∧
       s__attribute(V__C,s__MonoCrystalline) ∧
       s__instance(V__Sub,s__Substance) ∧
       s__attribute(V__Sub,s__Solid) ∧
       s__attribute(V__Sub,s__PolyCrystalline) ∧
       s__instance(V__S,s__Substance) ∧
       s__surface(V__S,V__Sub)
     ∧
     (¬ s__part(V__C,V__S)))

(∃ [V__CLNT]
   (s__instance(V__CLNT,s__Collection) ∧
     s__memberCount(V__CLNT,V__X)
   ∧
   s__greaterThanOrEqualTo(V__X,4)

(s__member(V__MBR,V__CLNT)

(s__part(V__MBR,V__Sub)

s__meetsSpatially(V__C,V__MBR))))))
)

Geography.kif 6495-6515
No TPTP formula. May not be expressible in strict first order. Cars.kif 2792-2811
( ∀ [V__ELECTION,V__POLITY,V__ACT,V__AGENT,V__VOTINGAGE,V__AGE]
   ((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   ∧
   s__instance(V__ACT,s__VotingFn(V__ELECTION))

s__agent(V__ACT,V__AGENT)

s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)

s__age(V__AGENT,V__AGE))

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))
)

Government.kif 990-997
( ∀ [V__ELECTION,V__POLITY,V__ACT,V__AGENT,V__VOTINGAGE]
   ((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   ∧
   s__instance(V__ACT,s__VotingFn(V__ELECTION))

s__agent(V__ACT,V__AGENT)

s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE))

(∃ [V__AGE]
(s__age(V__AGENT,V__AGE)

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))
)

Government.kif 979-988
( ∀ [V__ELECTION,V__POSITION,V__PERSON1,V__NUMBER1]
   ((s__instance(V__ELECTION,s__PopularElection) ∧
       s__electionWinner(V__ELECTION,V__POSITION,V__PERSON1)
     ∧
     s__voteFractionReceived(V__ELECTION,V__POSITION,V__PERSON1,V__NUMBER1))

(¬ (∃ [V__PERSON2,V__NUMBER2]
     (s__voteFractionReceived(V__ELECTION,V__POSITION,V__PERSON2,V__NUMBER2)
     ∧
     (¬ (V__PERSON1 = V__PERSON2))
     ∧
     s__greaterThanOrEqualTo(V__NUMBER2,V__NUMBER1)))))
)

Government.kif 1842-1852
No TPTP formula. May not be expressible in strict first order. Facebook.kif 132-140
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 503-511
( ∀ [V__Loan,V__Period,V__Duration]
   ((s__instance(V__Loan,s__BankTermLoan) ∧
       s__agreementPeriod(V__Loan,V__Period)
     ∧
     s__duration(V__Period,s__MeasureFn(V__Duration,s__YearDuration)))

s__greaterThanOrEqualTo(V__Duration,1))
)

FinancialOntology.kif 1440-1445
( ∀ [V__RR,V__WIDTH]
   ((s__instance(V__RR,s__Railway) ∧
       s__property(V__RR,s__StandardGauge) ∧
       s__trackWidth(V__RR,V__WIDTH))
   ⇒
   s__greaterThanOrEqualTo(V__WIDTH,s__MeasureFn(1.435,s__Meter)))
)

Transportation.kif 396-401

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141
No TPTP formula. May not be expressible in strict first order. Military.kif 867-876
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners