TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3031-3032
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11426-11428
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1799-1800
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11424-11424	Supprimer est une sous-classe de transf�re

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10970-10970	Diminuer est reli� � l'int�rieur de SUMO � supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21518-21518	Aborting est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6248-6248	Amputating est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24142-24142	Biopsy est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24065-24065	Naissance est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1513-1513	BleedingAir est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21082-21082	Circumision est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2654-2654	Deforestation est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2656-2656	Dredging est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12819-12819	S�cher est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2674-2674	Erosion est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2106-2106	Excreting est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 250-250	Exfiltration est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11832-11832	HairRemoval est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18099-18099	Harvesting est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6442-6442	Moulting est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11843-11843	Peeling est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2915-2915	Sanitation est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5558-5558	Sweeping est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 878-878	Thoracentesis est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11439-11439	D�couvrir est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5568-5568	Washing est une sous-classe de supprimer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1457-1457

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.	MilitaryDevices.kif 1379-1389	Objet est une instance de AbsoluteFilter processus est une instance de supprimer processus a pour origine objet objet est une instance de GasMixture objet est un patient de processus Solid est un attribut de objet objet est un instrument pour processus objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11430-11437	Processus est une instance de supprimer processus a pour origine objet entit� est un patient de processus entit� est situ� � objet pendant le d�but de temps d'existence de processus entit� est situ� � objet pendant la fin de temps d'existence de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2155-2168	AutonomousAgent est une instance de animal attribut est une instance de maladie ou syndrome attribut est un attribut de AutonomousAgent transf�re objet transf�re est une instance de processus biologique transf�re est une instance de supprimer transf�re a pour origine AutonomousAgent objet est une instance de Sewage transf�re est un agent de AutonomousAgent objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6069	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit� and entit� entit� est une instance de Lung entit� est une instance de Throat entit� est une instance de objet entit� est une instance de supprimer entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6116-6134	Processus est une instance de Sneezing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit�OSE and entit� entit� est une instance de NasalCavity entit�OSE est une instance de Nose entit�OSE est h�te du trou entit� entit� est une instance de objet entit� est une instance de supprimer entit�OSE est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	Substance est une instance de nourriture DecafAttribute est un attribut de substance substance est une pi�ce de substance substance est une instance de Caffeine processus processus est une instance de supprimer processus aboutit � substance substance est un patient de processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	Collection est une instance de organisation Mining est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet processus and AutonomousAgent AutonomousAgent est une instance de supprimer objet est un patient de AutonomousAgent objet est une instance de substance pure Solid est un attribut de objet processus est un membre de collection AutonomousAgent est une instance de vendre AutonomousAgent est un agent de processus objet est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Collection est une instance de organisation Utilities est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet processus2 and AutonomousAgent2 AutonomousAgent est une instance de supprimer objet est une instance de Sewage objet est un patient de AutonomousAgent objet est une instance de �l�ctron objet est une instance de eau objet est une instance de substance pure objet est capable de faire combustion dans le r�le patient processus2 est un membre de collection AutonomousAgent2 est une instance de financial transaction AutonomousAgent2 est un agent de processus2 objet est un patient de AutonomousAgent2
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.	Geography.kif 6393-6404	sheddingLeaves plante and PlantLeaf plante est une instance de DeciduousTree PlantLeaf est une instance de PlantLeaf processus processus processus est une sous-classe de supprimer processus se produit tous les YearDuration processus est une instance de processus processus a pour origine plante PlantLeaf est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1917-1925	Physique est une instance de BrushOrComb physique a pour but entit� entit� est une instance de supprimer entit� est une instance de changement de surface physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10952-10959	Objet est une instance de DistilledAlcoholicBeverage processus entit� processus est une instance de supprimer entit� est un patient de processus entit� est une instance de FreshWater processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15065-15072	Physique est une instance de Chimney physique a pour but entit� entit� entit� est une instance de Smoke entit� est une instance de supprimer physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4565-4580	Physique est une instance de Colander physique a pour but entit� entit�, entit� and entit� entit� est une instance de mixture entit� est une instance de substance entit� est une partie de entit� Liquid est un attribut de entit� entit� est une instance de supprimer entit� est un patient de entit� entit� est une instance de substance entit� est une partie de entit� Solid est un attribut de entit� entit� est le resultat de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	Processus est une instance de CoffeeMaking processus objet, objet, objet, objet and entit� processus est un sous-processus de processus processus est une instance de supprimer processus a pour origine objet objet est une instance de LiquidMixture objet est une partie de objet objet est une instance de DrinkingWater objet est une partie de objet objet est une instance de CoffeeGrind objet est un instrument pour processus objet est une instance de Filter entit� est le resultat de processus entit� est une instance de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	Position temporel est une instance de CoffeeMaking entit� entit� and entit� entit� est une instance de LiquidMotion entit� est une instance de Soaking entit� est une instance de supprimer le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10037-10050	Physique est une instance de Diuretic physique a pour but entit� entit�, entit� and entit�OC entit� est une instance de humain entit� est une instance de supprimer entit� est une instance de Liquid entit� exp�rimente entit� moves entit� and entit� entit� a pour origine entit� entit� ne contient %n{pas} entit�OC entit� aboutit � entit�OC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8875-8884	Physique est une instance de Detergent physique a pour but entit� entit�, entit� and entit� entit� est une instance de supprimer entit� est une instance de substance entit� est un patient de entit� entit� a pour origine entit� entit� est une surface de entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 741-748	Processus est une instance de DismantlingWeaponOfMassDestruction processus processus est un sous-processus de processus processus est une instance de destruction processus est une instance de supprimer
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	Position temporel est une instance de EspressoMaking entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est un patient de entit� la mesure de entit� est entit� Liter(s) approximateValue entit� and 0.03 la mesure de entit� est entit� CelsiusDegree(s) approximateValue entit� and 90 pendant la fin de temps d'existence de entit� entit� est une instance de LiquidMotion entit� est un patient de entit� la mesure de entit� est entit� 1 millier Pascals(s) approximateValue entit� and 900 pendant entit� entit� aboutit � entit� entit� est une instance de collection la mesure de entit� est entit� Gram(s) approximateValue entit� and 7.5 entit� est un membre de entit� entit� est une instance de CoffeeGrind FineGrind est un attribut de entit� entit� est situ� � entit� entit� est une instance de Filter entit� est une instance de supprimer entit� est un instrument pour entit� entit� est un patient de entit� la fin de temps d'existence de entit� est entre la fin de temps d'existence de entit� et la fin de temps d'existence de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1368-1376	Physique est une instance de AbsoluteFilter physique a pour but entit� entit� entit� est une instance de supprimer entit� a pour origine entit� entit� est une instance de GasMixture physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	Physique est une instance de AirFilter physique a pour but entit� entit�, entit� and entit� entit� est une instance de supprimer entit� est une partie de entit� entit� est une instance de Air entit� est une instance de Air Solid est un attribut de entit� entit� est un patient de entit� entit� est une partie de entit� entit� a pour origine entit� entit� est une instance de mixture physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2516-2524	Physique est une instance de Filter physique a pour but entit� entit� entit� est une instance de supprimer entit� a pour origine entit� entit� est une instance de mixture physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 922-936	Physique est une instance de FuelFilter physique a pour but entit� entit�, entit� and entit� entit� est une instance de supprimer entit� est une partie de entit� entit� est une instance de Fuel entit� est une instance de Fuel entit� est un patient de entit� entit� est une partie de entit� entit� a pour origine entit� entit� est une instance de solution physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6740-6748	Physique est une instance de Mine physique a pour but entit� physiqueRAL entit� est une instance de supprimer physiqueRAL est un patient de entit� physiqueRAL est une instance de mineral entit� a pour origine physique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	Physique est une instance de Needle physique a pour but entit� entit�, entit� and entit� entit� est une instance de animal entit� est une instance de TherapeuticProcss Fluid est un attribut de entit� entit� est un patient de entit� physique est un instrument pour entit� entit� est une instance de supprimer entit� est une instance de Inserting entit� est un sous-processus de entit� objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	Entit� est une instance de PurifiedWater processus objet and objet processus est une instance de supprimer processus a pour origine objet objet est une instance de eau objet est un patient de processus objet est une instance de substance objet est une partie de objet entit� est le resultat de processus

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: