TreeView Knowledge Base Browser - moves

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - moves

moves

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2991-2993
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11004-11007
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1751-1753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11001-11001	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 11002-11002	Le nombre 2 argument de moves est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10999-10999	moves est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11000-11000	moves est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11009-11009	moves est une sous-relation de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 668-668
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11022-11022	changesLocation est une sous-relation de moves
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39027-39027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39026-39026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39025-39025

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10684-10695	antagonistMuscles muscle and muscle d�palcement est une instance de Extension muscleC est un instrument pour d�palcement moves d�palcement and muscleC muscleC est une instance de muscle muscleC est une instance de muscle muscleC est une partie de objet muscleC est une partie de objet objet est une instance de animal muscleC est capable de faire Flexion dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	antagonistMuscles muscle and muscle d�palcement est une instance de Flexion muscleC est un instrument pour d�palcement moves d�palcement and muscleC muscleC est une instance de muscle muscleC est une instance de muscle muscleC est une partie de objet muscleC est une partie de objet objet est une instance de animal muscleC est capable de faire Extension dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	Objet est une instance de Antacid d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	Objet est une instance de ProtonPumpInhibitor d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objet est une instance de BodySegment objet est une instance de BodySegment objet est connect� � objet d�palcement est une instance de mouvement du corps moves d�palcement and objet l'argument d�palcement2 d�palcement2 est une instance de mouvement du corps moves d�palcement2 and objet temps d'existence de d�palcement2 prend place pendant temps d'existence de d�palcement a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3954-3964	D�palcement est une instance de MuscularContraction moves d�palcement and objet objet est une instance de VoluntaryMuscle objet est une instance de HeartMuscle objet objet est une instance de Troponin objet est une resource pour d�palcement
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 10646-10656	D�palcement est une instance de Extension moves d�palcement and objet objet objetC objet est une instance de muscle objetC est une instance de MuscularContraction objet est un instrument pour d�palcement objet est connect� � objet objetC est un sous-processus de d�palcement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10633-10644	D�palcement est une instance de Flexion d�palcement est un agent de AutonomousAgent moves d�palcement and objet d�palcement d�palcement est une instance de Extension temps d'existence de d�palcement est temps d'existence de d�palcement d�palcement est un agent de AutonomousAgent moves d�palcement and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10606-10616	D�palcement est une instance de Flexion moves d�palcement and objet objet objetC objet est une instance de muscle objetC est une instance de MuscularContraction objet est un instrument pour d�palcement objet est connect� � objet objetC est un sous-processus de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11132-11138	D�palcement est une instance de mouvement du corps moves d�palcement and objet objet est une instance de partie du corps objet est un patient de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11074-11079	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 11058-11063	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.	Mid-level-ontology.kif 8599-8609	Objet est une instance de Poison d�palcement est une instance de ing�rer moves d�palcement and objet AutonomousAgent exp�rimente d�palcement processus processus est une instance de endommager AutonomousAgent exp�rimente processus d�palcement cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8623-8634	Objet est une instance de Poison d�palcement est une instance de ing�rer moves d�palcement and objet AutonomousAgent exp�rimente d�palcement l'argument Blind est un attribut de AutonomousAgent pendant apr�s temps d'existence de d�palcement a la force modale de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objet est une instance de BodySegment objet est une instance de BodySegment objet est connect� � objet d�palcement est une instance de mouvement du corps moves d�palcement and objet l'argument d�palcement2 d�palcement2 est une instance de mouvement du corps moves d�palcement2 and objet temps d'existence de d�palcement2 prend place pendant temps d'existence de d�palcement a la force modale de Possibility
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.	Mid-level-ontology.kif 10633-10644	D�palcement est une instance de Flexion d�palcement est un agent de AutonomousAgent moves d�palcement and objet d�palcement d�palcement est une instance de Extension temps d'existence de d�palcement est temps d'existence de d�palcement d�palcement est un agent de AutonomousAgent moves d�palcement and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	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.	Medicine.kif 491-503	D�palcement est une instance de BloodCirculation objet objet, objet and objet objet est une instance de animal objet est une instance de sang moves d�palcement and objet objet est une instance de Artery objet est une instance de Vein objet est une partie de objet objet est une partie de objet objet est le chemin le long duquel d�palcement se produit objet est le chemin le long duquel d�palcement se produit
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.	Mid-level-ontology.kif 10009-10022	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 3706-3708	Objet est une instance de Furniture objet est capable de faire Translocation dans le r�le moves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10741-10750	Physique est une instance de Heart physique a pour but entit� physiqueB and entit� physiqueB est une instance de HeartBeat entit� est une instance de LiquidMotion entit� est une instance de sang moves entit� and entit� physiqueB cause entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11040-11045	D�palcement est une instance de d�palcement objet objet est une instance de objet moves d�palcement and objet

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