TreeView Knowledge Base Browser - greaterThanOrEqualTo

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1735-1736
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1881-1883
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 343-344
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1877	Le nombre 1 argument de greaterThanOrEqualTo est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1878-1878	Le nombre 2 argument de greaterThanOrEqualTo est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1873-1873	greaterThanOrEqualTo est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1874-1874	greaterThanOrEqualTo est une instance de relation partiellement dirig�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1875-1875	greaterThanOrEqualTo est une instance de relation �tendue aux quantit�es
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1879-1879	greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1876-1876	greaterThanOrEqualTo est trichotomiz� en nombre r�el

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	english_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	french_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 122-122
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 30-30
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 79-79
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 162-162
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 97-97
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 250-250
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26537-26537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26536-26536
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 38-38
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 251-251

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	Nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure d'aire nombre r�el est nombre r�el + nombre r�el arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea secteur g�ographique secteur g�ographique est une instance de ArableLand geographicSubregion secteur g�ographique and secteur g�ographique la mesure de secteur g�ographique est nombre r�el + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el Gas est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de �vaporer entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	climateTypeInArea secteur g�ographique and TropicalClimateZone mois est une instance de mois averageRainfallForPeriod secteur g�ographique, mois and nombre r�el un milli�me de Meter(s) nombre r�el est plus grand ou �gal � 60.0 climateTypeInArea secteur g�ographique and WetTropicalClimateZone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 219-225	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand ou �gal � 18 entit� est une instance de HumanAdult pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	otherLandUseArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea nombre r�el est nombre r�el + nombre r�el otherLandUseArea secteur g�ographique and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	otherLandUseArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea secteur g�ographique secteur g�ographique est une instance de zone de terre secteur g�ographique est une instance de ArableLand secteur g�ographique est une instance de PermanentCropLand geographicSubregion secteur g�ographique and secteur g�ographique la mesure de secteur g�ographique est nombre r�el + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	permanentCropLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea nombre r�el est nombre r�el + nombre r�el permanentCropLandArea secteur g�ographique and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2138-2152	permanentCropLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea secteur g�ographique secteur g�ographique est une instance de PermanentCropLand geographicSubregion secteur g�ographique and secteur g�ographique la mesure de secteur g�ographique est nombre r�el + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation processus processus est une instance de VotingFn Election processus est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1926-1930	Nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est plus grand ou �gal � 0 nombre r�el est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	Healthy est un attribut de mammif�re restingBreathingRate mammif�re and nombre entier nombre entier est plus grand ou �gal � 12 16 est plus grand ou �gal � nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	CollegeJunior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 2 nombre r�el est moins que 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	CollegeSenior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 3 nombre r�el est moins que 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	CollegeSophomore est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 1 nombre r�el est moins que 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	climateTypeInArea secteur g�ographique and TemperateClimateZone interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) nombre r�el est plus grand ou �gal � -3.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6022-6028	Le plus petit chemin entre noeud du graph et noeud du graph est chemin du graph la valeur de chemin du graph est nombre r�el chemin du graph2 est une instance de l' ensemble de chemin entre noeud du graph et noeud du graph la valeur de chemin du graph2 est nombre r�el nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	Objet est une instance de Airport LongRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand ou �gal � 2438 nombre r�el est plus petit ou �gal � 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	Objet est une instance de Airport MediumLengthRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand ou �gal � 1524 nombre r�el est plus petit ou �gal � 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	Objet est une instance de Airport ShortRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand ou �gal � 914 nombre r�el est plus petit ou �gal � 1523
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	R�gion est une instance de secteur g�ographique processus est une instance de PartlyCloudyWeather eventLocated processus and r�gion cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est plus grand ou �gal � 0.3 nombre r�el non n�gatif est plus petit ou �gal � 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 906-915	R�gion est une instance de secteur g�ographique processus est une instance de PartlyCloudyWeather eventLocated processus and r�gion nombre r�el non n�gatif cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est plus grand ou �gal � 0.3 nombre r�el non n�gatif est plus petit ou �gal � 0.7
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	Secteur g�opolitique est une instance de secteur g�opolitique nombre entier est instances dans CitizenryFn secteur g�opolitique nombre entier est instances dans ResidentFn secteur g�opolitique nombre entier est plus grand ou �gal � nombre entier
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction point temporel and nombre r�el financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el agreementEffectiveDate FinancialAccount and point temporel la date de financial transaction est point temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 571-578	Nourriture est une instance de CoffeeBean DarkRoast est un attribut de nourriture roastedToTemperature nourriture and nombre r�el nombre r�el est plus grand ou �gal � 225 nombre r�el est plus petit ou �gal � 245
No TPTP formula. May not be expressible in strict first order.	Food.kif 495-502	Nourriture est une instance de CoffeeBean LightRoast est un attribut de nourriture roastedToTemperature nourriture and nombre r�el nombre r�el est plus grand ou �gal � 196 nombre r�el est plus petit ou �gal � 205
No TPTP formula. May not be expressible in strict first order.	Food.kif 533-540	Nourriture est une instance de CoffeeBean MediumRoast est un attribut de nourriture roastedToTemperature nourriture and nombre r�el nombre r�el est plus grand ou �gal � 210 nombre r�el est plus petit ou �gal � 219
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	Processus est une instance de �vaporer boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure entit� est un patient de processus la mesure de entit� est nombre r�el unit� de mesure(s) pendant temps d'existence de processus unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	Objet est une instance de CoffeeArabica la mesure de objet est nombre r�el Gram(s) objetC est une instance de Caffeine objetC est une partie de objet la mesure de objetC est nombre r�el Gram(s) nombre r�el est nombre r�el + nombre r�el nombre r�el est plus grand ou �gal � 0.008 nombre r�el est plus petit ou �gal � 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	Objet est une instance de CoffeeRobusta la mesure de objet est nombre r�el Gram(s) objetC est une instance de Caffeine objetC est une partie de objet la mesure de objetC est nombre r�el Gram(s) nombre r�el est nombre r�el + nombre r�el nombre r�el est plus grand ou �gal � 0.017 nombre r�el est plus petit ou �gal � 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objet est une instance de Crystal MonoCrystalline est un attribut de objet objet en une partie est une instance de substance Solid est un attribut de objet en une partie PolyCrystalline est un attribut de objet en une partie objet en une partie est une instance de substance objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objetLNT nombre entier and objet objetLNT est une instance de collection memberCount objetLNT and nombre entier nombre entier est plus grand ou �gal � 4 objet est un membre de objetLNT objet est une partie de objet en une partie objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	Objet est une instance de FlatWhite substance est une partie de objet substance est une partie de objet substance est une instance de Espresso substance est une instance de MilkFoam mixtureRatio substance, substance, nombre r�el, nombre r�el and Liter objet en une partie est une partie de substance objet en une partie est une partie de substance le dessus de substance est objet en une partie objet en une partie est une instance de Bubble la mesure de objet en une partie est nombre r�el Millimeter(s) approximateValue nombre r�el and 0.03 approximateValue nombre r�el and 0.15 nombre r�el est plus grand ou �gal � 1.0 nombre r�el est plus petit ou �gal � 20.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	Objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet entit� est une instance de Fuel entit� est une instance de UnitOfVolume objet contient entit� la mesure de entit� est entit� entit�(s) EngineFlooded est un attribut de objet pendant position temporel objet a pour but entit�2 entit� entit�2 est une instance de Fuel objet contient entit�2 la mesure de entit�2 est entit� entit�(s) entit� est plus grand ou �gal � entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1003-1012	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el

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 1092-1103	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT est un citoyen de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) l' YearDuration(s) ?AGE est plus grand ou �gal � ?VOTINGAGE ?ELECTION est une instance de ElectionFn ?POLITY ?AGENT est capable de faire VotingFn ?ELECTION dans le r�le agent contient information UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER est un citoyen de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) l' YearDuration(s) ?AGE est plus grand ou �gal � ?VOTINGAGE ?ELECTION est une instance de ElectionFn ?POLITY ?VOTING ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER contient information CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Media.kif 1965-1965

Le nombre d' instances dans TwelveApostles est plus grand ou �gal � 11

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: