TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4066-4066
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11316-11317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1795-1796
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12019-12019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12022-12022
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12023-12023
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12020-12020
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12024-12024
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12025-12025
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12018-12018
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12021-12021
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11314-11314	Transf�re est une sous-classe de Translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11388-11388	Carrying est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5519-5519	ChangingClothing est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Dining.kif 526-526	DeliveryService est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2388-2388	ElectricTransmission est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11490-11490	Propulser est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10269-10269	Ing�rer est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1169-1169	IntraosseousInfusion est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6646-6646	Mailing est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6650-6650	Messaging est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18054-18054	MovingResidence est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17533-17533	Pouring est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11421-11421	Mettre est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11540-11540	Releasing est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11400-11400	Supprimer est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17602-17602	Spraying est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11470-11470	Remplacer est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6587-6587	Swallowing est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11502-11502	Toucher est une sous-classe de transf�re
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1119-1119
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1455-1455
No TPTP formula. May not be expressible in strict first order.	french_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 329-329
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 332-332
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2481-2481

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29760-29760	Le nombre 4 argument de beforeOnPath est une instance de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11354-11354	Le nombre 1 argument de objectTransferred est une instance de transf�re

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29767-29776	betweenOnPath objet, objet, objet and objet transf�re est une instance de transf�re objet est le chemin le long duquel transf�re se produit transf�re a pour origine objet transf�re aboutit � objet beforeOnPath objet, objet, objet and transf�re beforeOnPath objet, objet, objet and transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11107-11117	Objet est une instance de Artery processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang objet objet est une instance de Heart processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11140-11150	Objet est une instance de PulmonaryArtery processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang entit� entit� est une instance de Lung processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objet corpusculaire est une instance de Exhaust Fuel est fait de objet corpusculaire transf�re est une instance de transf�re objet corpusculaire NG est une instance de Engine transf�re a pour origine objet corpusculaire NG physique est une instance de CatalyticConverter transf�re aboutit � physique objectTransferred transf�re and objet corpusculaire physique a pour but entit� entit� est une instance de combustion physique est un instrument pour entit� objet corpusculaire est un patient de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3901-3911	Objet est une instance de Electromagnet transf�re est une instance de transf�re objet est une instance de Electricity objectTransferred transf�re and objet objet est le chemin le long duquel transf�re se produit processus processus est une instance de Magnetism objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3913-3929	Entit� est une instance de Electromagnet entit� entit� entit� est une instance de transf�re entit� est une instance de Electricity objectTransferred entit� and entit� entit� est le chemin le long duquel entit� se produit pendant entit�1 entit� entit� est une instance de Magnetism entit� est un instrument pour entit� pendant entit�1
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	Objet est une instance de Tailpipe objetR est une instance de transf�re entit� est une instance de Exhaust objet est une instance de Automobile objetES est une instance de AutomobileExhaustSystem objet est une partie de objet objet est le chemin le long duquel objetR se produit entit� est un patient de objetR objet a pour but entit� entit� est une partie de objet beforeOnPath objet, entit�, objetES and objetR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11374-11379	Transf�re est une instance de transf�re objectTransferred transf�re and objet objet2 est Inside � objet objectTransferred transf�re and objet2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11381-11386	Transf�re est une instance de transf�re objectTransferred transf�re and objet objet2 est On � objet objectTransferred transf�re and objet2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11319-11325	Processus est une instance de transf�re processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	Objet est une instance de PulmonaryVein processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang objet objet and objet objet est une instance de Lung processus a pour origine objet objet est une partie de objet objet est une partie de objet objet est une partie de objet objet est une instance de Heart processus aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11124-11134	Objet est une instance de Vein processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang entit� entit� est une instance de Heart processus aboutit � entit�

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	Objet en une partie est une instance de AutomobileShock processus est une instance de Compressing trou est une instance de trou Fluid est un attribut de objet objet en une partie est h�te du trou trou objet en une partie contient objet objet en une partie est un patient de processus transf�re transf�re est une instance de transf�re objectTransferred transf�re and objet trou est le chemin le long duquel transf�re se produit processus cause transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	Processus est une instance de Edema AutonomousAgent exp�rimente processus d�palcement objet and objet d�palcement est une instance de transf�re objet est une instance de Liquid objet est une instance de partie du corps objet est une partie de AutonomousAgent d�palcement aboutit � objet moves d�palcement and objet d�palcement est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	Processus est une instance de GERefluxDisease AutonomousAgent exp�rimente processus processus objet and objet processus est une instance de transf�re processus a pour origine objet objet est une instance de Stomach objet est une instance de Esophagus processus aboutit � objet objet est une partie de AutonomousAgent objet est une partie de AutonomousAgent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	Processus est une instance de DutyTax processus inclut une r�f�rence � entit� entit� est un patient de processus processus objet and entit� processus est une instance de transf�re entit� est un patient de processus processus a pour origine objet processus aboutit � entit� objet est une instance de nation entit� est une instance de nation objet est entit� temps d'existence de processus arrive plus t�t que temps d'existence de processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	Physique est une instance de AirIntake physique a pour but entit� entit� and entit� entit� est une instance de Air entit� est une instance de Engine entit� est une instance de transf�re entit� a pour origine physique entit� aboutit � entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4461-4470	Physique est une instance de Bag physique a pour but entit� entit� entit� est une instance de transf�re entit� est une instance de objet physique contient entit� physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2635-2651	Physique est une instance de ExhaustManifold physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de Exhaust entit� est une instance de EngineCylinder entit� est une instance de AutomobileMuffler entit� est une instance de transf�re physique est une partie de entit� entit� est une partie de entit� entit� est une partie de entit� entit� a pour origine entit� entit� aboutit � entit� entit� est un patient de entit� entit� est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2679	Physique est une instance de ExhaustValve physique a pour but entit� entit� entit� est une instance de transf�re objectTransferred entit� and entit� physique est le chemin le long duquel entit� se produit entit� est une instance de Exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	Physique est une instance de GasPedal physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Pushing entit� est une instance de transf�re entit� est une instance de Fuel entit� est une instance de Engine entit� est une instance de Automobile physique est une partie de entit� entit� est une partie de entit� entit� aboutit � physique entit� aboutit � entit� entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	Physique est une instance de GasTank physique a pour but entit� entit� and entit� entit� est une instance de Fuel physique contient entit� entit� est une instance de Engine entit� est une instance de transf�re entit� a pour origine physique entit� aboutit � entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11340-11347	Objet est une instance de Heart processus entit� processus est une instance de transf�re entit� est une instance de sang objet est un instrument pour processus entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2696-2709	Physique est une instance de IntakeValve physique a pour but entit� entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de FuelVapor entit� est une instance de CombustionChamber entit� est une instance de transf�re physique est une partie de entit� entit� est une partie de entit� entit� est un patient de entit� physique est le chemin le long duquel entit� se produit entit� aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3311-3321	Physique est une instance de MassAirflowSensor physique a pour but entit� entit� and entit� entit� est une instance de transf�re entit� est une instance de Air entit� est un patient de entit� entit� est une instance de mesurer entit� est un patient de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3270-3285	Physique est une instance de ManifoldHeatControlValve physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est une instance de Opening entit� est une instance de Exhaust entit� est une instance de transf�re entit� est une instance de FuelVapor physique est un patient de entit� entit� est un instrument pour entit� entit� est un patient de entit� physique est le chemin le long duquel entit� se produit entit� cause entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3826-3842	Physique est une instance de PositiveCrankcaseVentilationValve physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Crankcase entit� est une instance de Fuel entit� est une instance de CombustionChamber entit� est une instance de transf�re entit� est une instance de Automobile entit� est une partie de entit� entit� est une partie de entit� physique est une partie de entit� entit� a pour origine entit� entit� aboutit � entit� objectTransferred entit� and entit� physique est le chemin le long duquel entit� se produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9506-9518	Physique est une instance de PlantRoot physique a pour but entit� entit� and entit� entit� est une instance de transf�re physique est un instrument pour entit� entit� a pour origine entit� entit� est Outside � physique objectTransferred entit� and entit� entit� est une instance de FreshWater entit� est une instance de nutriment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9545-9556	Physique est une instance de PlantStem physique a pour but entit� entit� and entit� entit� est une instance de transf�re physique est un instrument pour entit� entit� est une instance de PlantRoot entit� a pour origine entit� entit� est une instance de substance Fluid est un attribut de entit� objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1527-1535	Physique est une instance de Tube physique a pour but entit� entit� entit� est une instance de transf�re physique est le chemin le long duquel entit� se produit entit� est un patient de entit� Fluid est un attribut de entit�
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	Physique est une instance de Valve physique a pour but entit� entit� and entit� entit� est une instance de transf�re physique est le chemin le long duquel entit� se produit entit� est un patient de entit� Fluid est un attribut de entit� entit� est une instance de processus physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11081-11088	Objet est une instance de BloodVessel entit� processus entit� est une instance de sang processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4677-4688	Physique est une instance de VehicleRoofRack physique a pour but entit� entit� and entit� entit� est une instance de transf�re entit� est un patient de entit� entit� est une instance de Automobile physique est Outside � entit� entit� rencontre physique physique est une partie de entit� entit� est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2775-2783	Physique est une instance de WaterPump physique a pour but entit� entit� entit� est une instance de transf�re entit� est une instance de FreshWater objectTransferred entit� and entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29789-29798	Objet est Downstream � objet transf�re objet and objet transf�re est une instance de transf�re Liquid est un attribut de objet objet est le chemin le long duquel transf�re se produit transf�re a pour origine objet beforeOnPath objet, objet, objet and transf�re transf�re aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29811-29820	Objet est Downwind � objet transf�re objet and objet transf�re est une instance de transf�re Liquid est un attribut de objet objet est le chemin le long duquel transf�re se produit transf�re a pour origine objet beforeOnPath objet, objet, objet and transf�re transf�re aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29778-29787	Objet est Upstream � objet transf�re objet and objet transf�re est une instance de transf�re Liquid est un attribut de objet objet est le chemin le long duquel transf�re se produit transf�re a pour origine objet beforeOnPath objet, objet, objet and transf�re transf�re aboutit � objet

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: