result - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	result et instrument sont disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2551-2551	Le nombre 1 argument de result est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2552-2552	Le nombre 2 argument de result est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2549-2549	result est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2550-2550	result est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2548-2548	result est une sous-relation de patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2513-2513	resource et result sont disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 73-73

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12488-12495	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.	Mid-level-ontology.kif 20759-20766	actedIn humain and ContentBearingPhysical processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus Actor est un attribut de humain pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18836-18842	Processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de objet d'art Artist est un attribut de AutonomousAgent pendant temps d'existence de processus
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.	Mid-level-ontology.kif 20733-20742	directed humain and motion picture processus est une instance de FilmMaking AutonomousAgent est une instance de organisation leader AutonomousAgent and humain processus est un agent de AutonomousAgent motion picture est le resultat de processus FilmDirector est un attribut de humain pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emploie agent cognitif processus est une instance de DoNetworkMessaging objet est le resultat de processus NSFW est un attribut de objet processus est une instance de voir objet est un patient de processus processus est un agent de agent cognitif l'argument entit� processus cause entit� suffers entit� and agent cognitif a la force modale de Possibility
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.	Merge.kif 12850-12854	Processus est une instance de construire entit� est le resultat de processus entit� est une instance de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processus est une instance de CateringService processus est un agent de AutonomousAgent processus aboutit � processusUST AutonomousAgent est situ� � objet customer processusUST and AutonomousAgent processus entit� and processus processus est une instance de cuisiner processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est un patient de processus processus est une instance de manger processus est un agent de processusUST eventLocated processus and objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20414-20419	Processus est une instance de Copying objet est une resource pour processus objet est le resultat de processus objet est une copie exact de objet
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	Processus est une instance de cr�ation proposition est le resultat de processus proposition est une instance de proposition processus est un agent de agent cognitif propositionOwner agent cognitif and proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	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 10024-10045	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 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.	Merge.kif 12068-12084	Processus est une instance de Deciding processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de ensemble ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de ContentBearingPhysical containsFormula ContentBearingPhysical and entit� entit� est un entit� entit� est une instance de processus intentionnel entit� est un agent de AutonomousAgent pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 690-694	Processus est une instance de DevelopingWeaponOfMassDestruction entit� est le resultat de processus entit� est une instance de WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12569-12578	Objet est une instance de substance �l�mentaire objet est une instance de substance �l�mentaire 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 entit� est une instance de substance compos�e
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	Processus est une instance de OperationPlanning ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition proposition est une instance de OperationPlan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10862-10870	Processus est une instance de planifier ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de objet exprimant un sens proposition proposition est une instance de plan ContentBearingPhysical contient information proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	Processus est une instance de Experimenting entit� est le resultat de processus entit� est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	Processus est une instance de Felling entit� est le resultat de processus entit�TEM entit� est une instance de DeadFn entit�TEM entit�TEM est une sous-classe de PlantStem
No TPTP formula. May not be expressible in strict first order.	Food.kif 3692-3699	Processus est une instance de Fermentation entit� est un patient de processus entit� est une instance de JuiceOfFn WineGrape entit� est le resultat de processus entit� est une instance de Wine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 654-660	Objet est une instance de NuclearWeaponProductionFacility processus est une instance de DevelopingWeaponOfMassDestruction eventLocated processus and objet entit� est le resultat de processus entit� est une instance de NuclearWeapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16046-16051	Processus est une instance de Choreographing proposition est le resultat de processus processus exprime le contenu de proposition processus est une instance de dancer
No TPTP formula. May not be expressible in strict first order.	Food.kif 2687-2692	Processus est une instance de Harvesting objet est le resultat de processus objet est une instance de Mushroom Produce est un attribut de objet

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 26317-26328	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.	Mid-level-ontology.kif 6477-6487	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.	Mid-level-ontology.kif 968-975	yearOfFounding organisation and nombre entier processus nombre entierEAR nombre entierEAR recouvre temps d'existence de processus nombre entierEAR est une instance de l' ann�e nombre entier processus est une instance de Founding organisation est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20751-20757	actedIn humain and ContentBearingPhysical processus processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17354-17367	Attribut est un attribut de objet attribut est une instance de attribut subjectif position temporel processus and AutonomousAgent processus est une instance de Judging processus est un agent de AutonomousAgent objet est un patient de processus attribut est un attribut de objet est le resultat de processus AutonomousAgent croit objet a un attribute attribut pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce est un attribut de objet objet est une instance de fruit ou v�g�tal objet a pour but entit� entit� est une instance de Harvesting objet est le resultat de entit� objet est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processus aboutit � objet processus est une instance de Messaging entit� est un patient de processus objet est une instance de Telex processus entit� objet est un instrument pour processus entit� est le resultat de processus entit� d�finie entit� entit� est une instance de texte le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 994-1003	Processus est une instance de Crushing entit� est un patient de processus entit� est une instance de objet processus processus est le resultat de processus processus est une instance de changement de forme entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processus est une instance de Curdling substance est un patient de processus substance est une instance de Colloid processus substance processus est une instance de separer processus est un sous-processus de processus substance est un patient de processus substance est le resultat de processus substance est une pi�ce de substance substance est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8725-8735	Entit� est une instance de ChemicalAcid entit� est une instance de ChemicalBase processus est une instance de processus chimique entit� est un patient de processus entit� est un patient de processus processusS processusS est une instance de ChemicalSalt processusS est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19378-19391	Attribut est une instance de SecondaryColor attribut est un attribut de objet processus objet, objet, attribut and attribut objet est le resultat de processus objet est une resource pour processus objet est une resource pour processus attribut est un attribut de objet attribut est un attribut de objet attribut est une instance de couleur primaire attribut est une instance de couleur primaire attribut est attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	Processus est une instance de mort AutonomousAgent est une instance de organisme AutonomousAgent exp�rimente processus entit� entit� entit� est le resultat de processus entit� est une instance de objet organique Dead est un attribut de entit� pendant apr�s temps d'existence de processus entit� est une partie de entit� pendant immediatement apr�s temps d'existence de processus entit� est une partie de AutonomousAgent pendant immediatement avant temps d'existence de processus
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.	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.	Food.kif 1190-1205	Processus est une instance de FoamingMilk entit� est une instance de ProcessedMilk entit� est un patient de processus processus processus and entit� processus est une instance de r�chauffer entit� est un patient de processus processus est une instance de Aerating entit� est un patient de processus entit� est le resultat de processus entit� est une instance de Bubble temps d'existence de processus prend place pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	Processus est une instance de Gaslighting processus est un agent de AutonomousAgent suffers processus and AutonomousAgent processus processus est une instance de perception AutonomousAgent exp�rimente processus causesProposition suffers processus and AutonomousAgent and AutonomousAgent ne conna�t %n{pas} entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	Objet est une instance de Gene objet est situ� � objet objet est une instance de cellule processus objet and objet processus est une instance de processus biologique eventLocated processus and objet processus a pour origine objet objet est le resultat de processus objet est une instance de Nucleotide objet est une partie de objet objet est une instance de RNAMolecule objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processus est une instance de Grinding entit� est un patient de processus entit� est une instance de objet corpusculaire entit� entit� est le resultat de processus entit� est une instance de collection entit� entit� est un membre de entit� entit� 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.	Medicine.kif 6219-6228	Trou est une instance de Laceration objet est une instance de Skin objet est h�te du trou trou objet est une partie de objet processus processus est une instance de percer trou est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1607-1617	AutonomousAgent est une instance de organisation IndustryAttribute est un attribut de AutonomousAgent industryProductType IndustryAttribute and objet processus entit� processus est une instance de faire entit� est une instance de objet processus est un agent de AutonomousAgent entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	Entit� est une instance de ForestProduct processus est une instance de manufacture entit� est le resultat de processus entit� est un patient de processus entit� est une instance de organisme processus objet processus est une instance de Agriculture entit� est le resultat de processus eventLocated processus and objet objet est une instance de Forest
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processus est une instance de mettre entit� est un patient de processus entit� est une instance de Spice processus aboutit � objet objet est une instance de PreparedFood processus attribut processus est une instance de changement interne objet est un patient de processus attribut est le resultat de processus attribut est un attribut de objet attribut est une instance de FlavourAttribute attribut est une instance de attribut de couleur
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	Objet corpusculaire est une instance de ViewItemPage processus est une instance de WebListing processus est un composant de objet corpusculaire entit� est un patient de processus entit� est une instance de physique processus processus and processusCONTENT processus est une instance de d�clarer processus est un patient de processus processus inclut une r�f�rence � entit� processusCONTENT est le resultat de processus processusCONTENT est une partie de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16824-16832	Proposition est une instance de plan ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition proposition NING proposition NING est une instance de planifier ContentBearingPhysical est le resultat de proposition NING
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	Proposition est une instance de plan physique est une instance de processus proposition d�finie physique proposition NING ContentBearingPhysical proposition NING est une instance de planifier ContentBearingPhysical est une instance de ContentBearingPhysical ContentBearingPhysical contient information proposition ContentBearingPhysical est le resultat de proposition NING le d�but de temps d'existence de proposition NING arrive plus t�t que le d�but de temps d'existence de physique la fin de temps d'existence de proposition NING arrive plus t�t que la fin de temps d'existence de physique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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: