TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2724-2725
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8374-8376
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8371-8371	Le nombre 1 argument de earlier est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8372-8372	Le nombre 2 argument de earlier est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8366-8366	earlier est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8369-8369	earlier est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8367-8367	earlier est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8370-8370	earlier est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8368-8368	earlier est une instance de relation transitive

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 437-437
No TPTP formula. May not be expressible in strict first order.	english_format.kif 443-443
No TPTP formula. May not be expressible in strict first order.	french_format.kif 253-253
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 87-87
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2047-2047
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 205-205
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 259-259
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 571-571
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 274-274
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 277-277
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 189-189
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8100-8100	before est reli� � l'int�rieur de SUMO � earlier
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20790-20790
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20789-20789
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20788-20788
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 190-190

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio PhysicalSystem and nombre r�el nombre r�el est plus grand que 0 interval temporel est une instance de Tremor PhysicalSystem est un patient de interval temporel entit� est une instance de UnitOfLength physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel1 physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel2 interval temporel1 prend place pendant interval temporel interval temporel2 prend place pendant interval temporel interval temporel1 arrive plus t�t que interval temporel2 nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8281-8288	Interval temporel arrive plus t�t que interval temporel point temporel est une instance de point temporel point temporel est une instance de point temporel point temporel est une partie de interval temporel point temporel est une partie de interval temporel point temporel se produit avant point temporel
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.	Law.kif 480-489	AutonomousAgent desire Dead est un attribut de entit� pendant interval temporel AutonomousAgentURDER est une instance de Murder AutonomousAgentURDER est un agent de AutonomousAgent entit� est un patient de AutonomousAgentURDER interval temporel arrive plus t�t que temps d'existence de AutonomousAgentURDER Premeditated est un attribut de AutonomousAgentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	Objet est une instance de Antidiuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination interval temporel est interval temporel entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	Objet est une instance de Diuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	Processus est une instance de mort entit� est une instance de OrganismRemains AutonomousAgent est une instance de organisme entit� est une partie de entit� pendant interval temporel entit� est une partie de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que interval temporel AutonomousAgent exp�rimente processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	Processus est une instance de mort entit� est une instance de OrganismRemains AutonomousAgent est une instance de organisme entit� est une partie de entit� pendant interval temporel entit� est une partie de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que interval temporel entit� est le resultat de processus AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent est une instance de Man Mausaharati est un attribut de AutonomousAgent processus est une instance de Drumming processus est un agent de AutonomousAgent processusAY est une instance de jour interval temporel est une instance de Sunrise interval temporel prend place pendant processusAY temps d'existence de processus arrive plus t�t que interval temporel processus a pour but entit� interval temporelUHUR and entit� entit� est une instance de WakingUp entit� exp�rimente entit� interval temporelUHUR est une instance de Suhur interval temporelUHUR est un agent de entit� temps d'existence de entit� arrive plus t�t que temps d'existence de interval temporelUHUR temps d'existence de entit� prend place pendant processusAY temps d'existence de interval temporelUHUR prend place pendant processusAY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9795	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de MoodStabilizer processus est une instance de processusC involvedInEvent processus and AutonomousAgent processusS est un attribut de AutonomousAgent pendant temps d'existence de processus processusS est une instance de �tat �motionnel processus2 est une instance de processusC involvedInEvent processus2 and AutonomousAgent temps d'existence de processus2 arrive plus t�t que temps d'existence de transf�re l'argument processusS est un attribut de AutonomousAgent pendant processus2 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8378-8380	Interval temporel arrive plus t�t que interval temporel la fin de interval temporel se produit avant le d�but de interval temporel

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	TwoFactorAuthentication est un attribut de UserAccount loggedInDuring AutonomousAgent, UserAccount and interval temporel interval temporelF interval temporelF est une instance de TwoFactorLoggingIn interval temporelF est un agent de AutonomousAgent accountUsed interval temporelF and UserAccount temps d'existence de interval temporelF arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 612-617	commemoratesDate Holiday and le jour nombre entier positif interval temporel est une instance de Holiday interval temporel est une instance de l' ann�e nombre entier interval temporel n' arrive %n{pas} plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	firstTimeBuyers interval temporel, WebSite and collection AutonomousAgent est un membre de collection financial transaction financial transaction est une instance de acheter financial transaction est un agent de AutonomousAgent eCommerceSite financial transaction and WebSite temps d'existence de financial transaction arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3593-3603	firstTimeSellers interval temporel, WebSite and collection AutonomousAgent est un membre de collection financial transaction financial transaction est une instance de vendre financial transaction est un agent de AutonomousAgent eCommerceSite financial transaction and WebSite temps d'existence de financial transaction arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	ChronicFatigueSyndrome est un attribut de AutonomousAgent pendant interval temporel processus est une instance de r�cr�ation ou exercice processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel l'argument PostExertionalMalaise est un attribut de AutonomousAgent pendant interval temporel2 temps d'existence de processus arrive plus t�t que interval temporel2 a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	Evacuee est un attribut de AutonomousAgent pendant interval temporel interval temporel est une instance de interval temporel processus AutonomousAgent processus est une instance de Evacuation processus est un agent de AutonomousAgent AutonomousAgent est une instance de MilitaryOrganization AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	InternallyDisplacedPerson est un attribut de entit� pendant interval temporel interval temporel est une instance de interval temporel entit� interval temporel interval temporel arrive plus t�t que interval temporel causesProposition fears entit� and entit� pendant interval temporel and InternallyDisplacedPerson est un attribut de entit� pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7972-7982	spouse entit� and entit� pendant interval temporel interval temporel est une instance de interval temporel processus processus est une instance de Wedding entit� est un patient de processus entit� est un patient de processus temps d'existence de processus arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14337-14344	La forme developmentale de entit� est attribut pendant interval temporel attribut est un attribut successeur de attribut interval temporel interval temporel arrive plus t�t que interval temporel la forme developmentale de entit� est attribut pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	Transf�re est une instance de Bequeathing transf�re est un agent de AutonomousAgent transf�re aboutit � entit� objectTransferred transf�re and AutonomousAgentROP processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de transf�re AutonomousAgent poss�de AutonomousAgentROP pendant immediatement avant temps d'existence de processus confersNorm AutonomousAgent, entit� poss�de AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24019-24028	Processus est une instance de naissance processus a pour origine objet entit� interval temporel entit� est une instance de Zygote interval temporel arrive plus t�t que temps d'existence de processus entit� est situ� � objet pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	Processus est une instance de Bleeding AutonomousAgent exp�rimente processus objet processus objet est une instance de Vein objet est une instance de Artery objet est une partie de AutonomousAgent processus est une instance de endommager temps d'existence de processus arrive plus t�t que temps d'existence de processus objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Sports.kif 778-788	Processus est une instance de Bodybuilding processus est un agent de AutonomousAgent processus processus est une instance de Weightlifting processus est un agent de AutonomousAgent temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	Transf�re est une instance de BreakthroughInfection objectTransferred transf�re and objet objet est une instance de objetC AutonomousAgent exp�rimente transf�re objetAX objetAX est une instance de Vaccination AutonomousAgent exp�rimente objetAX vaccine objetACCINECLASS and objetC objetACCINE est une instance de objetACCINECLASS objectTransferred objetAX and objetACCINE temps d'existence de objetAX arrive plus t�t que temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	ComputerProcess est une instance de ComputerBackingUp dataProcessed ComputerProcess and DigitalData DigitalData est une instance de DigitalData ComputerProcess est un agent de agent cognitif agent cognitif desire entit� temps d'existence de ComputerProcess arrive plus t�t que entit� entit� entit� est une instance de ComputerProcess DigitalData est capable de faire entit� dans le r�le dataProcessed pendant entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	Interval temporel est une instance de Confirming interval temporel est un agent de Agreement interval temporel contient information proposition interval temporel ContentBearingPhysical and Agreement2 interval temporel est une instance de d�clarer interval temporel arrive plus t�t que interval temporel ContentBearingPhysical est une instance de ReachingAgreement interval temporel est un agent de Agreement2 ContentBearingPhysical contient information proposition interval temporel contient information proposition partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10941-10954	Processus est une instance de diminuer entit� est un patient de processus nombre r�el nombre r�el, interval temporel, interval temporel and entit� interval temporel arrive plus t�t que interval temporel la mesure de entit� est nombre r�el entit�(s) pendant interval temporel la mesure de entit� est nombre r�el entit�(s) pendant interval temporel nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10899-10912	Processus est une instance de augmenter entit� est un patient de processus nombre r�el nombre r�el, interval temporel, interval temporel and entit� interval temporel arrive plus t�t que interval temporel la mesure de entit� est nombre r�el entit�(s) pendant interval temporel la mesure de entit� est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10878-10891	Processus est une instance de changement de quantit� entit� est un patient de processus entit� entit�, interval temporel, interval temporel and entit� interval temporel arrive plus t�t que interval temporel la mesure de entit� est entit� entit�(s) pendant interval temporel la mesure de entit� est entit� entit�(s) pendant interval temporel entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8731-8736	Interval temporel est une instance de le jour nombre entier positif interval temporel est une instance de le jour nombre entier positif nombre entier positif est plus grand que nombre entier positif interval temporel arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 750-758	Processus est une instance de DismantlingWeaponOfMassDestruction entit� est un patient de processus processus processus est une instance de DevelopingWeaponOfMassDestruction entit� est le resultat de processus temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16690-16702	Processus est une instance de inscription processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de College processus AutonomousAgent processus est une instance de recevoir un dipl�me processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de SecondarySchool temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16671-16683	Processus est une instance de inscription processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de College processus AutonomousAgent processus est une instance de recevoir un dipl�me processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de HighSchool temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent est une instance de Man Mausaharati est un attribut de AutonomousAgent processus est une instance de Drumming processus est un agent de AutonomousAgent processusAY est une instance de jour interval temporel est une instance de Sunrise interval temporel prend place pendant processusAY temps d'existence de processus arrive plus t�t que interval temporel processus a pour but entit� interval temporelUHUR and entit� entit� est une instance de WakingUp entit� exp�rimente entit� interval temporelUHUR est une instance de Suhur interval temporelUHUR est un agent de entit� temps d'existence de entit� arrive plus t�t que temps d'existence de interval temporelUHUR temps d'existence de entit� prend place pendant processusAY temps d'existence de interval temporelUHUR prend place pendant processusAY

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 18202-18219

?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ

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

KB Term:			Term intersection

English Word: