TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17596-17596	Likely est l'oppos� de Unlikely
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3917-3918
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17597-17598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17595-17595	Likely est une instance de ProbabilityAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34397-34397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34396-34396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34395-34395

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17600-17606	L'argument formule a la force modale de Likely le probabilit� de truth formule and True est plus grand que le probabilit� de truth formule and False

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14106-14116	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.	Music.kif 316-322	albumCoverImage Album and Image objet est une instance de AlbumCopiesFn Album and DataStorageDevice objet en une partie contient objet l'argument Image est une partie de le devant de objet en une partie a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6225-6238	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.	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.	Merge.kif 18525-18530	defaultMaxValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth quantit� est plus grand que entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18508-18513	defaultMinValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth entit� est plus grand que quantit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18542-18547	defaultValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth quantit� est entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emploie agent cognitif AutonomousAgent emploie agent cognitif processus est une instance de DoNetworkMessaging objet est le resultat de processus NSFW est un attribut de objet processus est un agent de agent cognitif processus est une instance de voir objet est un patient de processus processus est un agent de agent cognitif l'argument agent cognitifROC processus cause agent cognitifROC suffers agent cognitifROC and agent cognitif a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2568-2586	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.	Economy.kif 5284-5291	Objet est OrganicObjectFn objet organique objet est une sous-classe de Hardwood objet organique est une sous-classe de PlantStem l'argument initialPart objet organique and DeciduousTree a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	Objet est OrganicObjectFn objet organique objet est une sous-classe de Softwood objet organique est une sous-classe de PlantStem l'argument initialPart objet organique and Conifers a la force modale de Likely
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 23973-23989	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 18304-18314	ImpairedBodyPartFn 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 l'argument formule a la force modale de Likely
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.	ComputingBrands.kif 3231-3245	Booting est un attribut de composant d'un appareil pendant physique HostReady est un attribut de composant d'un appareil pendant physique2 physique2 est apr�s temps d'existence de physique composant d'un appareil est une instance de ComputerDisplay composant d'un appareil est connect� � composant d'un appareil l'argument entit� entit� est une instance de HomeScreen displayedUpon entit� and composant d'un appareil a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2550-2566	La mesure de objet est function de quantit� pendant position temporel engineIdleSpeed InternalCombustionEngine and function de quantit� objet est une instance de Automobile InternalCombustionEngine est une partie de objet objet est une partie de InternalCombustionEngine l'argument entit� entit� entit� prend place pendant position temporel entit� est une instance de Pushing entit� aboutit � entit� entit� est une partie de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30686-30707	Dieting est un attribut de AutonomousAgent pendant interval temporel Dieting est un attribut de AutonomousAgent pendant interval temporel objet est une instance de Meal processus est une instance de manger processus est un agent de AutonomousAgent objet est une resource pour processus temps d'existence de processus prend place pendant interval temporel la mesure de objet est nombre r�el Calorie(s) objet est une instance de Meal processus est une instance de manger processus est un agent de AutonomousAgent objet est une resource pour processus temps d'existence de processus prend place pendant interval temporel la mesure de objet est nombre r�el Calorie(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.	Medicine.kif 2763-2777	Objet est une instance de AntibodyCOVIDTest objet est un instrument pour processus processus est une instance de mesurer objet est un patient de processus objet est une instance de COVIDAntibody objet est une partie de objet l'argument objet conna�t objet objet est une instance de COVIDAntibody objet est une partie de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4404-4420	AutonomousAgent est une instance de Biped processus est une instance de Ambulating processus est un agent de AutonomousAgent l'argument entit� entit� entit� est une instance de Leg entit� est une instance de Leg entit� est entit� entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent entit� est un instrument pour processus entit� est un instrument pour processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	Processus est une instance de RheumatoidArthritis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de JointPain processus cause entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	Processus est une instance de AngryVoiceUtterance processus est un agent de AutonomousAgent l'argument causesProposition AutonomousAgentNG AutonomousAgentNG est une instance de colère AutonomousAgent exp�rimente AutonomousAgentNG and processus est une instance de AngryVoiceUtterance processus est un agent de AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	Processus est une instance de acheter entit� est un patient de processus processus a pour origine agent cognitif publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validPaymentType PricingScheme and Payment l'argument PaymentMENT PaymentMENT est une instance de Payment PaymentMENT est un sous-processus de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10082-10105	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 10052-10073	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

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)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: