TreeView Knowledge Base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42382-42382

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
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.	Mid-level-ontology.kif 26159-26171	WheelchairAccessible est un attribut de objet objet est une instance de immeuble objet est une instance de pi�ce l'argument entit� entit� entit� est une instance de d�palcement entit� est un instrument pour entit� entit� est une instance de Wheelchair eventLocated entit� and objet a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer est un attribut de AutonomousAgent entit� est une instance de objet exprimant un sens objet exprimant un sens est une sous-classe de texte objet exprimant un sens est une sous-classe de Document processus est une instance de �crire processus est un agent de AutonomousAgent entit� est le resultat de processus AutonomousAgent est l' auteur de objet exprimant un sens
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.	Economy.kif 2112-2121	electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	La valeur de chemin du graph est nombre r�el arc du graph est une partie de chemin du graph arc du graph est une partie de chemin du graph la valeur de arc du graph est nombre r�el la valeur de arc du graph est nombre r�el �lement du graph �lement du graph est une partie de chemin du graph �lement du graph est arc du graph �lement du graph est arc du graph la valeur de chemin du graph est nombre r�el + nombre r�el)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	La valeur de chemin du graph est nombre r�el chemin du graph est un sous-graph de chemin du graph arc du graph est une partie de chemin du graph la valeur de arc du graph est nombre r�el �lement du graph �lement du graph est une partie de chemin du graph �lement du graph est une partie de chemin du graph �lement du graph est arc du graph nombre r�el est valeur de chemin du graph + nombre r�el)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	Objet est OrganicObjectFn objet objet est une sous-classe de OilFromPlant objet est une sous-classe de Seed objet est une sous-classe de Fruit objet objet est une sous-classe de plant florissante initialPart objet and objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	exportTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualExportTotal secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet price objet, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus price processus, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus price objet, 0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence price processus, 0.0 UnitedStatesDollar(s) and humain
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.	Economy.kif 2123-2130	annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	annualExportTotal secteur g�opolitique and mesure de devise pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique exportTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	annualImportTotal secteur g�opolitique and mesure de devise pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique importTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel

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.	Government.kif 1400-1404	Queen est un attribut de objet QueenRegnant est un attribut de objet QueenConsort est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	Nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	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 11682-11689	Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet
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.	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.	Government.kif 108-115	Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17107	Objet est Adjacent � objet objet est Near � objet objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17091-17095	Objet est Below � objet objet est On � objet objet est Above � objet
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	agreementRevisionDate proposition , position temporel and proposition position temporel position temporel est une instance de position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, mesure de devise and position temporel accountHolder FinancialAccount and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	applicableRelation objet and relation objet est une instance de objetC le nombre 1 argument de relation est une instance de classe objetC est classe objetC est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Attribut est un attribut de AutonomousAgent attribut est une instance de CommissionedOfficerRank processus objet processus est une instance de diriger processus est un agent de AutonomousAgent objet est un patient de processus objet est une instance de MilitaryOrganization Soldier est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	FOKOrder est un attribut de Agreement agreementPeriod Agreement and interval temporel processus interval temporel processus est une instance de FillingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel processus interval temporel processus est une instance de CancellingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder est un attribut de Agreement agreementPeriod Agreement and interval temporel processus interval temporel processus est une instance de FillingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel recouvre interval temporel processus interval temporel processus est une instance de CancellingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel finit interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder est un attribut de Agreement agreementPeriod Agreement and interval temporel processus interval temporel processus est une instance de FillingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel processus interval temporel processus est une instance de CancellingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	Multilingual est un attribut de AutonomousAgent processus est une instance de Speaking processus est un agent de AutonomousAgent l'argument entit� entit� entit� est une instance de SpokenHumanLanguage entit� est une instance de SpokenHumanLanguage entit� est entit� entit� est un patient de processus entit� est un patient de processus a la force modale de Possibility
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.	Hotel.kif 2392-2407	customer agent cognitif and AutonomousAgent AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent Porter est un attribut de agent cognitif agent cognitif poss�de objet objet est une instance de TravelContainer objet processus objet est une instance de HotelUnit processus est une instance de Carrying processus est un agent de agent cognitif processus aboutit � objet processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	Le nombre nombre entier positif argument de relation est une instance de classe le nombre nombre entier positif argument de relation est une instance de classe classe est une sous-classe de classe classe est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 244-250	Le nombre nombre entier positif argument de relation est une sous-classe de classe le nombre nombre entier positif argument de relation est une sous-classe de classe classe est une sous-classe de classe classe est une sous-classe de classe

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.

Military.kif 933-946

ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique

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

KB Term:			Term intersection

English Word: