TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1391-1392
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 48-49
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 53-54

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 297-297
No TPTP formula. May not be expressible in strict first order.	english_format.kif 302-302
No TPTP formula. May not be expressible in strict first order.	french_format.kif 171-171
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 96-96
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1991-1991
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 179-179
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 387-387
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 136-136
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 191-191
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 178-178
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 205-205
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 298-298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22317-22317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22316-22316
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 206-206

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4768-4779	La valeur absolue de nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el nombre r�el non n�gatif est une instance de nombre r�el nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el n�gatif nombre r�el non n�gatif est nombre r�el)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2321-2326	FinancialAccount est une instance de FinancialAccount agent cognitif poss�de FinancialAsset FinancialAccount est AccountFn FinancialAsset accountHolder FinancialAccount and agent cognitif
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 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 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 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 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 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.	People.kif 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1508-1513	Nombre r�el est StandardDeviationFn liste nombre r�el est carr� de VarianceFn liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	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 3034-3042	FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise atTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	agreementClause proposition , deontic attribute, Agreement and agent cognitif deontic attribute est Obligation deontic attribute est Promise l'argument entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif a la force modale de Likely
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.	Medicine.kif 172-187	Anemia est un attribut de objet objet est une instance de sang objet est une partie de objet Female est un attribut de objet la mesure de objet est 0.1 Liter(s) objetE est une instance de Hemoglobin objetE est une partie de objet objetE2 est une instance de Hemoglobin objetE est objetE2 objet2 est une partie de objet la mesure de objetE est nombre r�el Gram(s) nombre r�el est moins que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia est un attribut de objet objet est une instance de sang objet est une partie de objet Male est un attribut de objet la mesure de objet est 0.1 Liter(s) objetE est une instance de Hemoglobin objetE est une partie de objet objetE2 est une instance de Hemoglobin objetE est objetE2 objet2 est une partie de objet la mesure de objetE est nombre r�el Gram(s) nombre r�el est moins que 13
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.	ComputingBrands.kif 2693-2704	Concave est un attribut de objet en une partie objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objet est une partie de objet en une partie objet est LineFn objet and objet objet est objet objet est une partie de objet objet est Outside � objet en une partie
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	Convex est un attribut de objet en une partie objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objet est une partie de objet en une partie objet est LineFn objet and objet objet est objet objet est une partie de objet objet est Inside � objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	GeometricFigure est un attribut de objet objet est une instance de FourPosterBed GeometricFigure est une instance de Quadrilateral le taille de GeometricFigure est OneDimensionalFigure le taille de GeometricFigure est OneDimensionalFigure OneDimensionalFigure est OneDimensionalFigure objet objet, GeometricPoint and objet objet est une partie de objet objet est une instance de Floor objet est On � objet objet est Vertical � objet pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint est un attribut de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8086-8094	Le d�but de interval temporel se produit avant le d�but de interval temporel la fin de interval temporel est fin de interval temporel interval temporel finit interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2889-2895	codeMapping ISO-4217-A, cha�ne sympbolique and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, cha�ne sympbolique and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique cha�ne sympbolique est SubstringFn cha�ne sympbolique, 0 and 2 currencyType secteur g�opolitique and UnitOfCurrency

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.	Merge.kif 4768-4779	La valeur absolue de nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el nombre r�el non n�gatif est une instance de nombre r�el nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el n�gatif nombre r�el non n�gatif est nombre r�el)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26329-26340	Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition
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 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 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 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 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 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.	People.kif 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 751-762	PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet
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.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1928-1933	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.	People.kif 206-223	MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1508-1513	Nombre r�el est StandardDeviationFn liste nombre r�el est carr� de VarianceFn liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	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.	People.kif 1547-1558	ethnicityPercentInRegion groupe ethnique, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de groupe ethnique physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
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.	Mid-level-ontology.kif 30223-30236	Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3504-3513	Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6478-6488	Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3488-3494	Entit� est une instance de Hemisphere entit� est NorthernHemisphere entit� est SouthernHemisphere entit� est EasternHemisphere entit� est WesternHemisphere
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	Nombre r�el est plus petit ou �gal � nombre r�el nombre r�el est nombre r�el nombre r�el est moins que 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.	People.kif 456-469	Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13333-13336	Nombre r�el nombre r�el OunceMass(s) est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4736-4737	Nombre entier ( nombre entier+2) est nombre entier + 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4720-4721	Nombre entier ( nombre entier+1) est nombre entier + 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3037-3040	@ROW Entit� longueur de (@ROW + entit�) est longueur de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3042-3046	@ROW Entit� longueur de (@ROW + entit�)th entit�) est entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 2915-2915	BigSix est GroupOf6

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5265-5265	ArcCosineFn le cosinus de nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5275-5275	ArcSineFn le sinus de nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5255-5255	ArcTangentFn la tangente de nombre r�el est nombre r�el
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.	Merge.kif 14182-14182	Le nombre d' instances dans continent est &%�gal � 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2003-2003	Le nombre d' instances dans NativityMagi est &%�gal � 3
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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2008-2008	1 KilowattHour(s) est million Joules(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2009-2009	1 KilowattHour(s) est Joule(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7112-7114	1 WeekDuration(s) est DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7139-7141	1 YearDuration(s) est DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 382-382	1.0 AngularDegree(s) est ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 401-401	1.0 ArcMinute(s) est ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3842-3842	1.0 Fathom(s) est FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13601-13603	1.0 MetricTon(s) est PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3865-3867	1.0 NauticalMile(s) est Meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3861-3863	1.0 NauticalMile(s) est FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13696-13700	1.0 SquareMile(s) est PerFn 1.0 Mile(s) and 1.0 Mile(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13706-13710	1.0 SquareYard(s) est PerFn 1.0 YardLength(s) and 1.0 YardLength(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 402-402	Nombre r�el ArcMinute(s) est nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 383-383	Nombre r�el AngularDegree(s) est nombre r�el ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7151-7153	Nombre r�el Amu(s) est nombre r�el + 1.6605402E-24 Gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7173-7175	Nombre r�el Angstrom(s) est nombre r�el + 1.0E-10 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7367-7369	Nombre r�el AngularDegree(s) est nombre r�el + pi + 180.0 Radian(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7353-7355	Nombre r�el BritishThermalUnit(s) est nombre r�el + 1055.05585262 Joule(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: