Organism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14356-14356	Organisme est disjoint de artefact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14358-14359
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6747-6747
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7483-7483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7484-7484
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7487-7487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14357-14357	Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	Organisme est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	Organisme est une sous-classe de objet organique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14348-14348	Objet organique est compl�tement d�compos� en organisme + structure anatomique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	Animal est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	Champignon est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	GeneticallyEngineeredOrganism est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14451-14451	Microorganisme est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5888	Parasite est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	Plante est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	ToxicOrganism est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1135-1135
No TPTP formula. May not be expressible in strict first order.	french_format.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 175-175
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2325-2325
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 593-593
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 209-209
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 662-662
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 176-176

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31727-31727	Le nombre 1 argument de OrganismPopulationFn est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16350-16350	Le nombre 1 argument de ancestor est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16351-16351	Le nombre 2 argument de ancestor est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 506-506	Le nombre 1 argument de coreBodyTemp est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16438-16438	Le nombre 1 argument de daughter est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16439-16439	Le nombre 2 argument de daughter est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16332-16332	Le nombre 1 argument de familyRelation est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	Le nombre 2 argument de familyRelation est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16426-16426	Le nombre 1 argument de father est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16427-16427	Le nombre 2 argument de father est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	Le nombre 1 argument de inhabits est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16409-16409	Le nombre 1 argument de mother est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16410-16410	Le nombre 2 argument de mother est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6277-6277	Le nombre 1 argument de parasite est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6278-6278	Le nombre 2 argument de parasite est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16365-16365	Le nombre 1 argument de parent est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16366-16366	Le nombre 2 argument de parent est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16311-16311	Le nombre 1 argument de relative est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16312-16312	Le nombre 2 argument de relative est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6448-6448	Le nombre 1 argument de sheddingBodyPart est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16465-16465	Le nombre 1 argument de sibling est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16466-16466	Le nombre 2 argument de sibling est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16450-16450	Le nombre 1 argument de son est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16451-16451	Le nombre 2 argument de son est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	WMD.kif 87-87	Le nombre 1 argument de AgentOfOrganismFn est une sous-classe de organisme

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16324-16329	Il y a une relation l�gal entre entit� et entit� pendant position temporel entit� est une instance de organisme entit� est une instance de organisme relative entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18117-18122	Objet est une instance de corps reproducteur objet est une partie de objet objet est une instance de organisme Female est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	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.	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.	Mid-level-ontology.kif 1417-1436	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet est une instance de organisme objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10454	Processus est une instance de endommager entit� est une instance de organisme entit� est un patient de processus processus est une instance de blesser
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	Objet est une instance de organisme objet est une instance de Egg Embryonic est un attribut de objet objet est une partie de objet physique physique est une instance de EggYolk physique a pour but entit� entit� est une instance de ing�rer entit� est un agent de objet physique est une resource pour entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18085-18089	AutonomousAgent est une instance de organisme processus est un agent de AutonomousAgent Living est un attribut de AutonomousAgent pendant temps d'existence 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.	Geography.kif 6425-6434	Entit� est une instance de SheddingPart entit� entit� and entit� entit� est une instance de entit�RG entit�RG est une sous-classe de organisme entit�ART entit� est une instance de DeadFn entit�ART initialPart entit�ART and entit�RG
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6412-6423	Entit� est une instance de SheddingPart entit� objet and objet objet est une instance de organisme objet est une instance de structure anatomique objet est une partie de objet processus processus est une instance de supprimer processus a pour origine objet objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	Entit� est une instance de objet organique processus est une instance de mort AutonomousAgent est une instance de organisme AutonomousAgent exp�rimente processus entit� est le resultat de processus entit� est une instance de OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15000-15005	Objet est une instance de AnimalAnatomicalStructure objet est une instance de organisme objet est une partie de objet objet est une instance de animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15011-15016	Objet est une instance de PlantAnatomicalStructure objet est une instance de organisme objet est une partie de objet objet est une instance de plante
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14816-14821	Objet est une instance de AnimalSubstance objet est une instance de organisme objet est une partie de objet objet est une instance de animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14827-14832	Objet est une instance de PlantSubstance objet est une instance de organisme objet est une partie de objet objet est une instance de plante
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	Organisme est un parent de organisme classe est une sous-classe de organisme organisme est une instance de classe organisme est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10154-10156	Objet est une instance de organisme objet est capable de faire processus biologique dans le r�le experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12323-12325	Objet est une instance de organisme objet est capable de faire tuer dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12329	Objet est une instance de organisme objet est capable de faire tuer dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10149-10152	Objet est une instance de organisme objet est capable de faire processus biologique dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18097-18102	Objet est une instance de organisme attribut attribut est une instance de attribute de vie attribut est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18158-18163	Objet est une instance de organisme attribut attribut est une instance de attribut de d�vellopement attribut est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 96-99	Physique est une instance de organisme Living est un attribut de physique pendant temps d'existence de physique

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.	WMD.kif 823-840	Nombre r�el McgPerKg(s) est PerFn mesure de masse and mesure de masse mesure de masse est nombre r�el un millioni�me de Gram(s) mesure de masse est nombre r�el 1 millier Grams(s) processus objet en une partie and objet en une partie processus est une instance de ing�rer objet en une partie est une instance de substance biologique active objet en une partie est une instance de organisme objet en une partie est un patient de processus processus est un agent de objet en une partie weight objet en une partie and mesure de masse weight objet en une partie and mesure de masse
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	Objet est OrganicObjectFn objet organique objet est une sous-classe de objet objet organique est une sous-classe de organisme objet organique est une sous-classe de structure anatomique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	Processus est une instance de ing�rer objet est une resource pour processus objet est une instance de FoodForFn organisme objet est une instance de Medicine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	Processus est une instance de BiochemicalAttack entit� est un patient de processus entit� est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14472-14476	Organisme est une instance de bact�rie organisme vie � objet objet est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11554-11558	Processus est une instance de Chewing objet est une resource pour processus objet est une instance de FoodForFn organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14431-14435	Organisme est une instance de champignon organisme vie � objet objet est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5847-5859	Processus est une instance de Infecting AutonomousAgent exp�rimente processus d�palcement processus and AutonomousAgent d�palcement est une instance de Translocation moves d�palcement and AutonomousAgent AutonomousAgent est une instance de organisme processus est une instance de reproduction AutonomousAgent exp�rimente processus d�palcement est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12296-12303	Processus est une instance de tuer processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de organisme entit� est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10143-10147	Processus est une instance de processus biologique AutonomousAgent exp�rimente processus AutonomousAgent est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12244-12253	Processus est une instance de processus therapeutique objet est un patient de processus objet est une instance de organisme objet objet est une instance de organisme objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	Physique est une instance de OrganismRemains entit� est une partie de physique pendant temps d'existence de physique physique physique est une instance de organisme temps d'existence de physique arrive plus t�t que temps d'existence de physique temps d'existence de physique finit temps d'existence de physique entit� est une partie de physique pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14484-14488	Organisme est une instance de virus organisme vie � objet objet est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	RawAttribute est un attribut de objet objet est une instance de FoodForFn organisme
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	diseaseMortality maladie ou syndrome and nombre r�el la probabilit� de entit� entit� est une instance de organisme maladie ou syndrome est un attribut de entit� pourvu que entit� entit� est une instance de mort entit� exp�rimente entit� vaut nombre r�el
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	Objet est une instance de ChemicalAgent objet processus and objet objet est une instance de organisme processus est une instance de processus biologique objet est un instrument 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.	Merge.kif 14921-14927	Entit� est une instance de structure anatomique physique position temporel physique est une instance de organisme position temporel est une partie de temps d'existence de physique entit� est une partie de physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	Physique est une instance de BiochemicalAttack physique a pour but entit� entit� entit� est une instance de endommager entit� est un patient de entit� physique cause entit� entit� est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18270-18276	Entit� est une instance de attribut psychologique entit� est un attribut de entit� pendant position temporel entit� est une instance de organisme Living est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	Physique est une instance de Catheter physique a pour but entit� entit�, entit�BJ and entit� entit� est une instance de organisme entit� est une instance de d�palcement moves entit� and entit�BJ entit� est Outside � entit� physique est le chemin le long duquel entit� se produit entit� a pour origine entit� entit� aboutit � entit� entit� a pour origine entit� entit� aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 570-577	Transf�re est une instance de Catheterization transf�reATH entit� transf�reATH est une instance de Catheter entit� est une instance de organisme objectTransferred transf�re and transf�reATH transf�re aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15077-15084	Objet est une instance de partie du corps en recouvrant une autre objet objet est une partie superficielle de objet objet est une instance de organisme objet est une instance de partie du corps
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10440-10447	Processus est une instance de blesser processus est une instance de endommager entit� entit� est une instance de organisme entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11119-11124	Processus est une instance de mouvement du corps AutonomousAgent AutonomousAgent est une instance de organisme processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14955-14961	Entit� est une instance de partie du corps physique position temporel physique est une instance de organisme position temporel est une partie de temps d'existence de physique entit� est un composant de physique pendant position temporel

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: