TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2083-2085
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3884-3887
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 731-733
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3881-3881	Le nombre 1 argument de holdsDuring est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3882-3882	Le nombre 2 argument de holdsDuring est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3880-3880	holdsDuring est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3879-3879	holdsDuring est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.	english_format.kif 122-122
No TPTP formula. May not be expressible in strict first order.	french_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 129-129
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1909-1909
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 34-34
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 117-117
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 101-101
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 81-81
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 264-264
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3869-3869	time est reli� � l'int�rieur de SUMO � holdsDuring
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28353-28353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28352-28352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28351-28351
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 42-42
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 265-265

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30188	Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2680-2690	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.	Merge.kif 17254-17262	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30132-30140	Barefoot est un attribut de entit� pendant position temporel entit� entit� est une instance de Shoe entit� porte entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30145-30153	Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel
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.	Mid-level-ontology.kif 30271-30279	Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	LegalAgent est un attribut de entit� pendant position temporel entit� est capable de faire action l�gale dans le r�le agent entit� est capable de faire action l�gale dans le r�le patient pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic humain and substance substanceUB est une instance de substance substanceUB rencontre humain pendant position temporel l'argument entit� entit� est une instance de AllergicReaction humain exp�rimente entit� temps d'existence de entit� recouvre position temporel le d�but de position temporel se produit avant le d�but de temps d'existence de entit� a la force modale de Likely
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.	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 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.	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.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy organisme est une instance de humain organisme est une instance de humain chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel organisme et organisme sont parents interval temporel arrive plus t�t que interval temporel l'argument chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 406-411	Christian est un attribut de agent cognitif pendant Holiday Holiday est une instance de ChristmasDay observesHoliday agent cognitif and Holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 509-514	Christian est un attribut de agent cognitif pendant Holiday Holiday est une instance de EasterSunday observesHoliday agent cognitif and Holiday
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7960-7967	Entit� physique and physique pendant position temporel physique est une instance de physique physique est une instance de physique physique existe pendant position temporel physique existe pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	LateralRecumbant est un attribut de objet objet est On � objet pendant position temporel objet est une instance de LeftArm objet est une partie de objet objet est une instance de RightArm objet est une partie de objet objet est une instance de LeftLeg objet est une partie de objet objet est une instance de RightLeg objet est une partie de objet objet rencontre objet objet rencontre objet objet ne rencontre %n{pas} objet objet ne rencontre %n{pas} objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	LateralRecumbant est un attribut de objet objet est On � objet pendant position temporel objet est une instance de LeftArm objet est une partie de objet objet est une instance de RightArm objet est une partie de objet objet est une instance de LeftLeg objet est une partie de objet objet est une instance de RightLeg objet est une partie de objet objet rencontre objet objet rencontre objet objet ne rencontre %n{pas} objet objet ne rencontre %n{pas} objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	Prone est un attribut de objet objet est On � objet pendant position temporel objet est une instance de Chest objet est une partie de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1814-1821	Supine est un attribut de objet en une partie objet en une partie est On � objet pendant position temporel objet en une partie est derri�re de objet en une partie objet en une partie rencontre objet
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	�tat �motionnel Est un attribut de entit� pendant position temporel actionTendency �tat �motionnel and EmotionalBehavioralProcess l'argument entit� entit� est une instance de EmotionalBehavioralProcess temps d'existence de entit� prend place pendant position temporel entit� exp�rimente entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	Menopausal est un attribut de humain pendant interval temporel birthdate humain and jour jour est une instance de le jour nombre entier positif nombre r�el est nombre entier) nombre r�el est nombre entier) point temporel est d�but de interval temporel l'argument point temporel est plus grand que nombre r�el nombre r�el est plus grand que point temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18246-18254	DeadOrMissingBodyPartFn classe est un attribut de objet pendant position temporel classeI est une instance de classe classeI est une partie de objet classeI a pour but formule formule

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.	Mid-level-ontology.kif 30178-30188	Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12466-12473	Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2680-2690	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 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.	Economy.kif 1517-1522	annualExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1488-1493	annualRevenuesOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualRevenuesOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1565-1570	capitalExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel capitalExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3661-3666	currencyExchangePerUSDollar mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitedStatesDollar and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3668-3673	currencyExchangeRateInPeriod UnitOfCurrency, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitOfCurrency and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2819-2824	economicAidDonatedInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel economicAidDonated secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2859-2864	economicAidReceivedNetInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel economicAidReceivedNet secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2056-2061	electricityFractionFromSourceInPeriod secteur g�opolitique, PowerGeneration, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel electricityFractionFromSource secteur g�opolitique, PowerGeneration and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2549-2554	exportPartnerByFractionInPeriod secteur g�opolitique, secteur g�opolitique, nombre r�el positif and interval temporel position temporel position temporel est une instance de interval temporel exportPartnerByFraction secteur g�opolitique, secteur g�opolitique and nombre r�el positif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2511-2516	exportPartnerByRankInPeriod secteur g�opolitique, secteur g�opolitique, nombre entier positif and interval temporel position temporel position temporel est une instance de interval temporel exportPartnerByRank secteur g�opolitique, secteur g�opolitique and nombre entier positif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2387-2392	exportPartnerInPeriod AutonomousAgent, AutonomousAgent and interval temporel position temporel position temporel est une instance de interval temporel exportPartner AutonomousAgent and AutonomousAgent pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2775-2780	externalDebtInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel externalDebt secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1279-1284	highestDecileShareOfHouseholdIncomeInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel highestDecileShareOfHouseholdIncome secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30132-30140	Barefoot est un attribut de entit� pendant position temporel entit� entit� est une instance de Shoe entit� porte entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30145-30153	Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	LegalAgent est un attribut de entit� pendant position temporel entit� est capable de faire action l�gale dans le r�le agent entit� est capable de faire action l�gale dans le r�le patient pendant position temporel

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.	ComputingBrands.kif 2453-2457	Position temporel position temporel est une instance de l' ann�e 1976 coworker SteveJobsOfApple and SteveWozniakOfApple pendant position temporel
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2441-2445	Position temporel position temporel est une instance de l' ann�e 2002 coworker SteveJobsOfApple and TimCookOfApple pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 1970-1978	Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� entit� est un membre de TwelveApostles pendant interval temporel friend entit� and JesusOfNazareth pendant interval temporel

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	Position temporel est une instance de le jour 3 Montenegro est une instance de IndependentState pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	Position temporel est une instance de le jour 3 Montenegro s'appele nom "Montenegro" pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 2791-2794	Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 2765-2769	Position temporel est une instance de l' ann�e 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 1920-1920	JesusOfNazareth est situ� � Palestine pendant temps d'existence de JesusOfNazareth

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

KB Term:			Term intersection

English Word: