TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1852-1854
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 339-340
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1848-1848	Le nombre 1 argument de greaterThan est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1849	Le nombre 2 argument de greaterThan est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1842-1842	greaterThan est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1845-1845	greaterThan est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1846-1846	greaterThan est une instance de relation �tendue aux quantit�es
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1843-1843	greaterThan est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1844-1844	greaterThan est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1850-1850	greaterThan est l' inverse de lessThan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1847-1847	greaterThan est trichotomiz� en nombre r�el

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4676-4676	comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1904-1904
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 96-96
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26532-26532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26531-26531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26530-26530
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 37-37
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 249-249

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	Entit� est une instance de PersonalAccount le nombre d' instances dans la classe d�crite par cha�ne sympbolique est plus grand que 1 entit� est une instance de JointAccount
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	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) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, interval temporel and nombre entier interval temporel est une instance de minute nombre entier nombre entier est une instance de r�cr�ation ou exercice nombre entier est un agent de AutonomousAgent interval temporel prend place pendant temps d'existence de nombre entier HumanAdult est un attribut de AutonomousAgent pendant interval temporel nombre entier est plus grand que 16 nombre entier est moins que 12 Healthy est un attribut de AutonomousAgent pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1370-1377	climateTypeInArea secteur g�ographique and DesertClimateZone 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 que 18.0 climateTypeInArea secteur g�ographique and SubtropicalDesertClimateZone
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio PhysicalSystem and nombre r�el nombre r�el est plus grand que 0 interval temporel est une instance de Tremor PhysicalSystem est un patient de interval temporel entit� est une instance de UnitOfLength physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel1 physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel2 interval temporel1 prend place pendant interval temporel interval temporel2 prend place pendant interval temporel interval temporel1 arrive plus t�t que interval temporel2 nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15515-15532	nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif est plus grand que nombre entier positif processus est une instance de publier processus est une instance de publier entit� est une instance de objet exprimant un sens entit� est une instance de objet exprimant un sens entit� est un patient de processus entit� est un patient de processus la date de processus est jour la date de processus est jour la fin de jour se produit avant la fin de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	Nombre r�el est AverageFn liste longueur de liste est plus grand que 0 nombre r�el est ListSumFn liste + longueur de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3258-3268	Nombre r�el est ListSumFn liste longueur de liste est plus grand que 1 nombre r�el est FirstFn liste + ListSumFn SubListFn 2, longueur de liste and liste)
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	Cha�ne sympbolique est ReverseFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus grand que 1 nombre entier non n�gatif est plus grand que 0 nombre entier non n�gatif est moins que nombre entier non n�gatif nombre entier est plafond de ( nombre entier non n�gatif + 1) + 2 nombre entier non n�gatifEW est nombre entier + nombre entier non n�gatif) + nombre entier) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and (1 + nombre entier non n�gatif) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatifEW and (1 + nombre entier non n�gatifEW)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	Liste est SubListFn nombre entier positif, nombre entier and liste ( nombre entier + nombre entier positif) est plus grand que 1 liste est liste compos�e de ( nombre entier positifth liste) et SubListFn (1 + nombre entier positif), nombre entier and liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	Nombre r�el est VarianceAverageFn nombre and liste longueur de liste est plus grand que 1 nombre r�el est VarianceAverageFn nombre and 1th liste + VarianceAverageFn nombre and SubListFn 2, longueur de liste and liste)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1070-1075	fOCShipsByOrigin MerchantMarine, secteur g�opolitique and nombre entier non n�gatif nombre entier non n�gatif est plus grand que 0 marineInventory MerchantMarine and ShipRegister ShipRegister est une instance de FlagOfConvenienceRegister
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	governorSpeed SpeedGovernor and function de quantit� nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el est plus grand que nombre r�el nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est plus grand que nombre r�elPROB
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1017-1023	Entit� est une instance de BiochemicalAgent lethalDose BiochemicalAgent and nombre r�el unit� de mesure(s) nombre r�el est plus grand que 0.0 entit� est une instance de LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	Secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) 10.0 est plus grand que nombre r�el climateTypeInArea secteur g�ographique and PolarClimateZone
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processus est une instance de Auctioning AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent objet est une instance de objet unit� de mesure est une instance de UnitOfCurrency objet est un patient de processus bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8722-8729	Interval temporel est une instance de le jour nombre entier positif interval temporel est une instance de le jour nombre entier positif point temporel est d�but de interval temporel point temporel est d�but de interval temporel nombre entier positif est plus grand que nombre entier positif point temporel se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8731-8736	Interval temporel est une instance de le jour nombre entier positif interval temporel est une instance de le jour nombre entier positif nombre entier positif est plus grand que nombre entier positif interval temporel arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-348	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand que 12 nombre r�el est moins que 20 entit� est une instance de Teenager pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2947	Objet est une instance de Harbor equipmentCount objet, ShipBerth and nombre r�el nombre r�el est plus grand que 0 objet est capable de faire ShipBerthing dans le r�le path
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	MusicalTone est une instance de MusicalTone soundFrequency MusicalTone and nombre r�el Hertz(s) loudness MusicalTone and nombre r�el Decibel(s) MusicalTone est situ� � la place o� humain �tait � le d�but de temps d'existence de MusicalTone nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que 250 8000 est plus grand que nombre r�el humain est une instance de humain processus est une instance de Listening processus est un agent de humain hearingAcuity humain, nombre r�el Decibel(s) and nombre r�el Decibel(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13878	Entit� est une instance de substance pure boilingPoint substance pure and nombre r�el unit� de mesure(s) meltingPoint substance pure and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfTemperature la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel nombre r�el est plus grand que nombre r�el nombre r�el est moins que nombre r�el Liquid est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de mettre en fusion entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1398-1405	Plan d'eau est une instance de SurfZone significantWaveHeight plan d'eau, temps d'existence de plan d'eau and nombre r�el FootLength(s) nombre r�el est plus grand que 8.0 RedFlagSwimmingCondition est un attribut de plan d'eau
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Interval temporel est une instance de TimePeriod la dur�� de interval temporel est nombre r�el MinuteDuration(s) nombre r�el est plus grand que 5.0 entit� est une instance de humain processus processus est une instance de respirer temps d'existence de processus prend place pendant interval temporel entit� est un patient de processus l'argument entit� entit� est une instance de mort entit� exp�rimente entit� interval temporel rencontre temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13798-13807	Objet est une instance de substance pure substance pure est une sous-classe de substance pure barometricPressure objet and nombre r�el InchMercury(s) 29.92 est plus grand que nombre r�el boilingPoint substance pure and nombre r�el KelvinDegree(s) la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est plus grand que nombre r�el Gas est un attribut de objet

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est un membre de liste nombre r�el nombre r�elMINUSONE, nombre entier positif and nombre entier positif nombre r�el est plus grand que 1 nombre r�el est plus petit ou �gal � longueur de liste nombre entier positifth liste est nombre r�el nombre entier positif est un membre de liste nombre r�el est nombre entier positifth liste nombre entier positif est un membre de liste nombre r�elMINUSONE est nombre r�el + 1) nombre r�elMINUSONE est nombre entier positifth liste nombre entier positif est nombre entier positif + nombre entier positif) nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif
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.	Merge.kif 1937-1941	Nombre r�el est une instance de nombre r�el positif nombre r�el est plus grand que 0 nombre r�el est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7758-7766	Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	FlatTerrain est un attribut de objet zone de terre est une partie de objet slopeGradient zone de terre and nombre r�el non n�gatif 0.005 est plus grand que nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	LowTerrain est un attribut de objet zone de terre est une partie de objet slopeGradient zone de terre and nombre r�el non n�gatif 0.03 est plus grand que nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de classe objet est une instance de classe unit� de mesure est une instance de unit� de mesure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim est un attribut de AutonomousAgent valeur de ce que poss�de AutonomousAgent est mesure de devise l'argument entit� entit�, entit�, entit� and entit� entit� est une instance de Zakat entit� est une instance de ann�e entit� prend place pendant temps d'existence de AutonomousAgent FullyFormed est un attribut de AutonomousAgent pendant entit� entit� est un agent de AutonomousAgent entit� est un patient de entit� valeur de entit� est entit� entit�(s) entit� est une instance de UnitOfCurrency entit� est plus grand que mesure de devise + 0.025 a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD est un attribut de AutonomousAgent ADHD est un attribut de AutonomousAgent AutonomousAgent est AutonomousAgent processus est une instance de classe processus est une instance de classe classe est une sous-classe de processus psycholoqique intentionnel processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent la dur�� de temps d'existence de processus est dur�e temporel la dur�� de temps d'existence de processus est dur�e temporel l'argument dur�e temporel est plus grand que dur�e temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized est un attribut de objet objet est une instance imm�diate de classe classe est une sous-classe de HotelUnit physique nombre r�el, nombre r�el and unit� de mesure physique est une instance imm�diate de classe unit� de mesure est une instance de UnitOfArea la mesure de physique est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure d'aire nombre r�el est une instance de mesure d'aire nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1538-1544	capitalExpendituresOfAreaInPeriod secteur g�opolitique, nombre r�el unit� de mesure(s) and interval temporel annualExpendituresOfAreaInPeriod secteur g�opolitique, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	climateTypeInArea secteur g�ographique and ColdClimateZone interval temporel interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) 10.0 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1597-1603	climateTypeInArea secteur g�ographique and PolarTypeFClimateZone position temporel est une instance de position temporel airTemperature secteur g�ographique and entit� CelsiusDegree(s) pendant position temporel 10.0 est plus grand que entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio PhysicalSystem and nombre r�el nombre r�el est plus grand que 0 interval temporel est une instance de Tremor PhysicalSystem est un patient de interval temporel entit� est une instance de UnitOfLength physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel1 physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel2 interval temporel1 prend place pendant interval temporel interval temporel2 prend place pendant interval temporel interval temporel1 arrive plus t�t que interval temporel2 nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18451	defaultMaxValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth quantit� est plus grand que entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13536-13545	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY entit�(s) est plus grand que nombre r�el unit� de mesure(s) a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13486-13497	defaultMaximumSphereRadius objet and nombre r�el unit� de mesure(s) objet est une instance de objet Sphere est un attribut de objet l'argument nombre r�elADIUS sphereRadius objet and nombre r�elADIUS unit� de mesure(s) nombre r�elADIUS est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13566-13575	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el + 1.5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18434	defaultMinValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth entit� est plus grand que quantit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	engineIdleSpeed InternalCombustionEngine and RotationFn nombre r�el MilesPerHour(s) and dur�e temporel objet est une instance de Automobile processus est une instance de GasPedal processus est une instance de Pushing processus aboutit � objet InternalCombustionEngine est une partie de objet objet est une partie de objet objet est une instance de Crankshaft objet est une partie de InternalCombustionEngine la mesure de objet est RotationFn entit� MilesPerHour(s) and dur�e temporel pendant temps d'existence de processus l'argument entit� est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	Le plus grand diviseur commun de @ROW est nombre entier nombre entier est nombre entier nombre entier est plus grand que nombre entier nombre entier nombre entier est un membre de (@ROW) nombre entier reste nombre entier est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18343-18358	Organisation est DepartmentOfFn organisation and physique organisation2 est une partie de l'organization organisation organisation est organisation2 entit� est une instance de physique organisation est interess� par entit� nombre r�el est probabilit� de entit� est un agent de organisation entit�2 est probabilit� de entit� est un agent de organisation2 nombre r�el est plus grand que entit�2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: