TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2434-2436
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6352-6356
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1125-1128
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6348-6348	Le nombre 1 argument de MeasureFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6349-6349	Le nombre 2 argument de MeasureFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6346-6346	MeasureFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6347-6347	MeasureFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6350-6350	Le domaine de MeasureFn est une instance de quantit� physique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order.	english_format.kif 636-636
No TPTP formula. May not be expressible in strict first order.	french_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 178-178
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 335-335
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 829-829
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 405-405
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 426-426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36671-36671
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 634-634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36670-36670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36669-36669
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 353-353

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7524-7530	Objet en une partie est une instance de LiquidDrop approximateDiameter objet en une partie and nombre r�el Micrometer(s) 500.0 est moins que nombre r�el objet en une partie est une instance de Droplet
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.	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.	Geography.kif 3731-3733	courseWRTTrueNorth objet, objet and 0.0 AngularDegree(s) objet est North � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3755-3757	courseWRTTrueNorth objet, objet and 135.0 AngularDegree(s) objet est Southeast � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3739-3741	courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3759-3761	courseWRTTrueNorth objet, objet and 225.0 AngularDegree(s) objet est Southwest � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3743-3745	courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3763-3765	courseWRTTrueNorth objet, objet and 315.0 AngularDegree(s) objet est Northwest � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3751-3753	courseWRTTrueNorth objet, objet and 45.0 AngularDegree(s) objet est Northeast � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3735-3737	courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East � objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1704	Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1783-1787	hearingAcuity humain, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1794-1798	hearingAcuity humain, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1805-1809	hearingAcuity humain, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1815-1819	hearingAcuity humain, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1826-1830	hearingAcuity humain, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1837-1841	hearingAcuity humain, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1848-1852	hearingAcuity humain, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13604-13610	La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 2205.0 PoundMass(s)

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.	Weather.kif 2676-2686	Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
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.	Cars.kif 1934-1939	compressionRatio Engine and nombre r�el minCylinderVolume Engine and nombre r�el unit� de mesure(s) maxCylinderVolume Engine and unit� de mesureAX unit� de mesure(s) nombre r�el est nombre r�el + unit� de mesureAX
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1704	Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7780-7788	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.	Mid-level-ontology.kif 13604-13610	La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13325-13330	La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	sectorValueOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el unit� de mesure(s) and interval temporel position temporel position temporel est une instance de interval temporel sectorValueOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el unit� de mesure(s) pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount substance, objet corpusculaire and nombre r�el UnitOfMass(s) substanceI est une instance de substance la mesure de substanceI est nombre r�el2 UnitOfMass(s) substanceI est une partie de objet corpusculaire liste nombre r�el2 UnitOfMass(s) est un membre de liste liste est AmountsFn substance, objet corpusculaire and UnitOfMass nombre r�el est ListSumFn liste
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.	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.	Mid-level-ontology.kif 18727-18736	CollegeFreshman 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 moins que 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18742-18752	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 18758-18768	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 18774-18784	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.	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.	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 659-669	comparativeArea secteur g�ographique, BinaryRelationExtendedToQuantities, nombre r�el positif and secteur g�ographique unit� de mesure est une instance de UnitOfArea la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) BinaryRelationExtendedToQuantities nombre r�el unit� de mesure(s) and nombre r�el positif + nombre r�el unit� de mesure(s)

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.	Mid-level-ontology.kif 29346-29346	boilingPoint Actinium and 3470.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29194-29194	boilingPoint Aluminum and 2740.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29358-29358	boilingPoint Americium and 2880.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29270-29270	boilingPoint Antimony and 2023.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29204-29204	boilingPoint Argon and 87.29 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29234-29234	boilingPoint Arsenic and 886.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29338-29338	boilingPoint Astatine and 610.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29280-29280	boilingPoint Barium and 1913.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29176-29176	boilingPoint Beryllium and 3243.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29334-29334	boilingPoint Bismuth and 1833.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29178-29178	boilingPoint Boron and 2823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29238-29238	boilingPoint Bromine and 331.93 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29264-29264	boilingPoint Cadmium and 1038.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29278-29278	boilingPoint Caesium and 963.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29208-29208	boilingPoint Calcium and 1760.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29180-29180	boilingPoint Carbon and 5100.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29284-29284	boilingPoint Cerium and 3530.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29202-29202	boilingPoint Chlorine and 238.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29216-29216	boilingPoint Chromium and 2755.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29222-29222	boilingPoint Cobalt and 3143.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29226-29226	boilingPoint Copper and 2868.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29300-29300	boilingPoint Dysprosium and 2608.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29304-29304	boilingPoint Erbium and 2783.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29294-29294	boilingPoint Europium and 1870.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29186-29186	boilingPoint Fluorine and 85.01 KelvinDegree(s)

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: