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 1250-1251
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18013-18013	Le nombre 1 argument de physicalEnd est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18014-18014	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 1247-1247	physicalEnd est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18012-18012	physicalEnd est une instance de relation binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18020-18020	physicalEnd est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1248-1248	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 18019-18019
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18018-18018

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	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 1282-1286	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 1273-1280	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 1264-1271	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 1288-1308	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 18026-18041	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 17985-18010	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 1255-1257	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 1259-1262	physicalEnd objet and objet LongAndThin est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18022-18024	physicalEnd objet and objet LongAndThin est un attribut de objet

consequent

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

Merge.kif 18026-18041

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