physicalEnd - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - physicalEnd

physicalEnd

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1257-1258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17956-17956	Le nombre 1 argument de physicalEnd est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17957-17957	Le nombre 2 argument de physicalEnd est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1254-1254	physicalEnd est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17955-17955	physicalEnd est une instance de relation binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17963-17963	physicalEnd est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1255-1255	physicalEnd est une sous-relation de properPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17962-17962
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17961-17961

antecedent

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.	Anatomy.kif 1758-1780	muscleInsertion muscle and partie du corps objet est une instance de humain StandardAnatomicalPosition est un attribut de objet pendant interval temporel Healthy est un attribut de objet interval temporel est une instance de MuscularContraction temps d'existence de interval temporel prend place pendant interval temporel objet est une instance de muscle objet est une partie de objet objet est un instrument pour interval temporel physicalEnd objet and objet objet rencontre objet objet est situ� � entit� pendant le d�but de interval temporel objet est situ� � entit� pendant la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin muscle and partie du corps objet est une instance de humain StandardAnatomicalPosition est un attribut de objet pendant interval temporel Healthy est un attribut de objet interval temporel est une instance de MuscularContraction temps d'existence de interval temporel prend place pendant interval temporel objet est une instance de muscle objet est une partie de objet objet est un instrument pour interval temporel physicalEnd objet and objet objet rencontre objet objet est situ� � entit� pendant le d�but de interval temporel objet est situ� � entit� pendant la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	physicalEnd objet and objet objet est une partie superficielle de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1280-1287	physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne rencontre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1271-1278	physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne recouvre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	physicalEnd objet and objet physicalEnd objet and objet objet est une partie de objet objet est une partie de objet unit� de mesure est une instance de UnitOfLength la distance entre objet et objet est nombre r�el unit� de mesure(s) objet est objet objetP1 objetP2 and nombre r�el objetP1 est une partie de objet objetP2 est une partie de objet la distance entre objetP1 et objetP2 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 17969-17984	physicalEnd objet and objet physicalEnd objet and objet objet est objet la distance entre objet et objet est nombre r�el unit� de mesure(s) objetP1 objetP2 and nombre r�el physicalEnd objetP1 and objet physicalEnd objetP2 and objet objetP1 est objetP2 la distance entre objetP1 et objetP2 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 17928-17953	relativeAngle objet, objet and nombre r�el physicalEnd objet and objet physicalEnd objet and objet objet est objet le longueur de objet est nombre r�el1 unit� de mesure(s) le longueur de objet est nombre r�el2 unit� de mesure(s) la distance entre objet et objet est nombre r�el3 unit� de mesure(s) physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne rencontre %n{pas} objet nombre r�el est ArcCosineFn (( nombre r�el3 + nombre r�el3 + nombre r�el1 + nombre r�el1) + nombre r�el2 + nombre r�el2) + 2.0 + nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1262-1264	physicalEnd objet and objet LongAndThin est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1266-1269	physicalEnd objet and objet LongAndThin est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17965-17967	physicalEnd objet and objet LongAndThin est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17969-17984

physicalEnd objet and objet physicalEnd objet and objet objet est objet la distance entre objet et objet est nombre r�el unit� de mesure(s)
objetP1 objetP2 and nombre r�el physicalEnd objetP1 and objet physicalEnd objetP2 and objet objetP1 est objetP2 la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el

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