TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2997-2997
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11015-11015
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11457-11457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11462-11462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11465-11465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11460-11460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10134-10134
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11456-11456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11463-11463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11459-11459
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11458-11458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11461-11461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11464-11464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	D�palcement est une sous-classe de processus

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4894-4894	Le domaine de FlowFn est une instance de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	Mouvement du corps est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21526-21526	Closing est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1982-1982	Compressing est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11274-11274	Changement de direction est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2208-2208	EngineCranking est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	EngineCycle est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 202-202	FourStrokeCombustion est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 186-186	FourStrokeCompression est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 219-219	FourStrokeExhaust est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 166-166	FourStrokeIntake est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11244-11244	GasMotion est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11189-11189	GeologicalProcess est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5706-5706	Irrigating est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	LiquidMotion est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11065-11065	MotionDownward est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11059-11059	MotionUpward est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21519-21519	Opening est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17607	Pulling est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17613-17613	Pushing est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13645-13645	Irradier est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17513-17513	Reversing est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17441-17441	Rotating est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17133-17133	Stretching est une sous-classe de d�palcement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6795-6795	Swarming est une sous-classe de d�palcement

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.	Merge.kif 10979-10979	Le nombre 1 argument de moves est une instance de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11075-11075	Le nombre 1 argument de path est une instance de d�palcement
No TPTP formula. May not be expressible in strict first order.	Weather.kif 328-328	Le nombre 2 argument de windDrivenMotion est une instance de d�palcement

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	Objet est une instance de Clutch objet est une instance de Automobile objet est une instance de Engine objet est une instance de Gearbox objetEAR est une instance de Gear objetEAR est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus DeviceOff est un attribut de objet processus2 processus2 est une instance de d�palcement objet est un patient de processus2 processus cause processus2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	Objet est une instance de Clutch objet est une instance de Automobile objet est une instance de Engine objet est une instance de Gearbox objetEAR est une instance de Gear objetEAR est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus DeviceOn est un attribut de objet processus2 processus2 est une instance de d�palcement objet est un patient de processus2 processus cause processus2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	Processus est une instance de d�palcement processus est une instance de Tremor objet est une instance de Damper objet est un patient de processus objet est une partie de objet processus cause processus entit� est une instance de UnitOfLength physicalAmplitude processus and nombre r�el entit�(s) pendant temps d'existence de processus physicalAmplitude processus and nombre r�el entit�(s) pendant immediatement apr�s processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2730-2744	Objet est une instance de FanBelt objet est une instance de EngineFan objet est une instance de Automobile objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus objet a pour but processus2 processus2 est une instance de Rotating processus cause processus2 objet est un patient de processus2
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 85-91	Processus est une instance de GuidingMotion entit� est un patient de processus processus est un sous-processus de processus processus est une instance de d�palcement entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	Processus est une instance de GuidingMotion processus est un sous-processus de processus processus est une instance de d�palcement entit� est un patient de processus entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	Objet est une instance de Lever processus est une instance de Pushing physique est une instance de d�palcement unit� de mesure est une instance de UnitOfLength processus aboutit � objet physicalEnd objet and objet physicalEnd objet and objet objet est objet objet est situ� � processus1 pendant immediatement avant temps d'existence de physique objet est situ� � processus2 pendant immediatement apr�s temps d'existence de physique objet est situ� � processus3 pendant immediatement avant temps d'existence de physique objet est situ� � processus4 pendant immediatement apr�s temps d'existence de physique la distance entre processus1 et processus2 est nombre r�el unit� de mesure(s) la distance entre processus3 et processus4 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11052-11057	D�palcement est une instance de d�palcement moves d�palcement and objet d�palcement aboutit � entit� objet est situ� � entit� pendant la fin de temps d'existence de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11036-11041	D�palcement est une instance de d�palcement moves d�palcement and objet d�palcement a pour origine objet objet est situ� � objet pendant le d�but de temps d'existence de d�palcement
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 801-807	Objet est une instance de CrudeOilPipeline processus est une instance de d�palcement objet est un instrument pour processus entit� est un patient de processus entit� est une instance de Petroleum
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 813-819	Objet est une instance de NaturalGasPipeline processus est une instance de d�palcement objet est un instrument pour processus entit� est un patient de processus entit� est une instance de NaturalGas
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 826-832	Objet est une instance de PetroleumProductPipeline processus est une instance de d�palcement objet est un instrument pour processus entit� est un patient de processus entit� est une instance de PetroleumProduct
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	Objet est une instance de Pipeline processus est une instance de d�palcement objet est un instrument pour processus entit� est un patient de processus entit� est une instance de la classe correspondant � Fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11018-11023	D�palcement est une instance de d�palcement objet objet est une instance de objet moves d�palcement and objet

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	WheelchairAccessible est un attribut de objet objet est une instance de immeuble objet est une instance de pi�ce l'argument entit� entit� entit� est une instance de d�palcement entit� est un instrument pour entit� entit� est une instance de Wheelchair eventLocated entit� and objet a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2056-2060	Attribut est une instance de SpeedScaleAttribute entit� a un attribute attribut entit� est une instance de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	Objet est une instance de VehicleBrake objet est une instance de Vehicle objet est une partie de objet objet a pour but entit� entit� est une instance de StopFn d�palcement objet est un patient de entit� objet est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	Objet est une instance de Clutch objet est une instance de Automobile objet est une instance de Engine objet est une instance de Gearbox objetEAR est une instance de Gear objetEAR est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus DeviceOff est un attribut de objet processus2 processus2 est une instance de d�palcement objet est un patient de processus2 processus cause processus2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	Objet est une instance de Clutch objet est une instance de Automobile objet est une instance de Engine objet est une instance de Gearbox objetEAR est une instance de Gear objetEAR est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus DeviceOn est un attribut de objet processus2 processus2 est une instance de d�palcement objet est un patient de processus2 processus cause processus2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	Objet est une instance de Saw processus est une instance de couper objet est un instrument pour processus objet est une instance de objet objet est un patient de processus processus entit�, entit�, interval temporel, position temporel, position temporel and objet processus est une instance de d�palcement processus est un sous-processus de processus objet est une instance de CuttingDevice objet est une partie de objet objet rencontre objet objet est un patient de processus position temporel est une instance de interval temporel position temporel est une instance de interval temporel temps d'existence de processus est interval temporel interval temporel est une partie de position temporel interval temporel est une partie de position temporel entit� est une instance de attribut directionnel entit� est une instance de attribut directionnel les entit�es dans le processus processus bougent entit� pendant position temporel les entit�es dans le processus processus bougent entit� entit� est entit� oppositeDirection entit� and entit� ~{ entit� est entit� } ~{ oppositeDirection entit� and entit� } pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	Entit� est une instance de AutonomousAgent Motionless est un attribut de entit� pendant interval temporel processus processus est une instance de d�palcement entit� est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure physique nombre r�el physique est une instance de d�palcement physique a un attribute SpeedScaleAttribute la mesure de physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	Locked est un attribut de objet objet processus and entit� objet est une instance de Lock objet est connect� � objet processus est une instance de Closing objet est un patient de processus entit� est une instance de d�palcement temps d'existence de processus arrive plus t�t que temps d'existence de Locked est un attribut de objet l'argument objet est un patient de entit� n' %n{pas} la force modale de Possibility pendant temps d'existence de Locked est un attribut de objet
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.	ComputerInput.kif 71-76	Processus est une instance de GuidingMotion processus processus est un sous-processus de processus processus est une instance de d�palcement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	Physique est une instance de IntermittentCombustionEngine physique a pour but entit� entit� entit� est une instance de Explosion entit� est une instance de d�palcement eventLocated entit� and physique eventLocated entit� and physique entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	Physique est une instance de InternalCombustionEngine physique a pour but entit� entit� and entit� entit� est une instance de combustion entit� est une instance de d�palcement entit� est une partie de physique entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	Physique est une instance de MechanicalJoint physique a pour but entit� entit�, entit� and entit� entit� est une instance de d�palcement entit� est une instance de PhysicalSystem entit� est une instance de composant d'un appareil entit� est une instance de composant d'un appareil entit� est une partie de PhysicalSystem physique est une partie de PhysicalSystem entit� est une partie de PhysicalSystem entit� est un patient de entit� entit� est un patient de entit� entit� est connect� � physique entit� est connect� � physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	Objet est une instance de WhirlpoolTub objet objet est une instance de PressureControlValve objet est une partie de objet objet a pour but entit� entit� and entit� entit� est une instance de eau entit� est situ� � objet entit� est une instance de cr�ation objet est un instrument pour entit� entit� est le resultat de entit� entit� est une instance de d�palcement entit� est situ� � entit�
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	Entit� est une instance de JuiceOfFn fruit ou v�g�tal objet processus objet est une instance de fruit ou v�g�tal processus est une instance de d�palcement objet est une resource pour processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	Processus est une instance de WaterSkiing AutonomousAgent objet, objet, objet, objet, processus and processus objet est une instance de WaterVehicle objet est une instance de plan d'eau objet est une instance de WaterSki eventLocated processus and objet AutonomousAgent est une instance de humain AutonomousAgent est situ� � objet objet relie AutonomousAgent et objet processus est une instance de transporter objet est un instrument pour processus processus est une instance de d�palcement processus est un agent de AutonomousAgent objet est un instrument pour processus processus cause processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1304-1315	Processus est une instance de WindSurfing objet objet, processus and processus objet est une instance de WindSurfingBoard objet est une instance de plan d'eau processus est une instance de Wind processus est une instance de d�palcement eventLocated processus and objet processus est un sous-processus de processus objet est un instrument pour processus processus cause processus

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: