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 17934-17934	physicalEnd 的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17935-17935	physicalEnd 的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1254-1254	physicalEnd 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17933-17933	physicalEnd 是二元关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17941-17941	physicalEnd 是部分的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1255-1255	physicalEnd 是真正的部分的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17940-17940
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17939-17939

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	如果客体是 Lever 的 instance 和过程是 Pushing 的 instance 和物理是运动的 instance 和测量单位是 UnitOfLength 的 instance 和那个过程在另一个客体结束和 physicalEnd 那个另外客体 and 那个客体和 physicalEnd 第三客体 and 那个客体和那个另外客体不 equal 那个第三客体和那个另外客体是 located 在那个过程1 在紧接那个物理出现的 time before holdsDuring 和那个另外客体是 located 在那个过程2 在紧接那个物理出现的 time after holdsDuring 和那个第三客体是 located 在那个过程3 在紧接那个物理出现的 time before holdsDuring 和那个第三客体是 located 在那个过程4 在紧接那个物理出现的 time after holdsDuring 和那个过程1 和那个过程2 的 distance 是实数那个测量单位和那个过程3 和那个过程4 的 distance 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	如果 muscleInsertion 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体不是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	如果 muscleOrigin 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	如果 physicalEnd 客体 and 另一个客体和第三客体是那个另外客体的 superficialPart，然后那个客体接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1280-1287	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体，然后那个客体不接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1271-1278	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体，然后那个客体和那个第三客体不重叠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和第四客体是那个客体的 part 和第五客体是那个第三客体的 part 和测量单位是 UnitOfLength 的 instance 和那个第四客体和那个第五客体的 distance 是实数那个测量单位和那个客体不 equal 那个第三客体，然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样那个另外客体P1 不是那个客体的 part 和那个另外客体P2 不是那个第三客体的 part 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17947-17962	如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体和那个客体和那个第三客体的 distance 是实数测量单位，然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样 physicalEnd 那个另外客体P1 and 那个另外客体和 physicalEnd 那个另外客体P2 and 那个另外客体和那个另外客体P1 不 equal 那个另外客体P2 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	如果 relativeAngle 客体, 另一个客体 and 实数和 physicalEnd 第三客体 and 那个客体和 physicalEnd 第四客体 and 那个客体和那个第三客体不 equal 那个第四客体和那个客体的 length 是那个实数1 测量单位和那个另外客体的 length 是那个实数2 那个测量单位和那个第三客体和第五客体的 distance 是那个实数3 那个测量单位和 physicalEnd 那个第五客体 and 那个另外客体和 physicalEnd 第六客体 and 那个另外客体和那个第五客体不 equal 那个第六客体和那个第三客体不接上那个第五客体，然后那个实数 equal ArcCosineFn ((那个实数3 和那个实数3 和那个实数1 和那个实数1) 和那个实数2 和那个实数2) 和 2.0 和那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1262-1264	如果 physicalEnd 客体 and 另一个客体，然后又长又瘦是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1266-1269	如果 physicalEnd 客体 and 另一个客体，然后又长又瘦不是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17943-17945	如果 physicalEnd 客体 and 另一个客体，然后又长又瘦是那个另外客体的 attribute

consequent

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

Merge.kif 17947-17962

如果 physicalEnd 客体 and 另一个客体和 physicalEnd 第三客体 and 那个另外客体和那个客体不 equal 那个第三客体和那个客体和那个第三客体的 distance 是实数测量单位，
然后不存在那个另外客体P1，那个另外客体P2， and 和另一个实数这样 physicalEnd 那个另外客体P1 and 那个另外客体和 physicalEnd 那个另外客体P2 and 那个另外客体和那个另外客体P1 不 equal 那个另外客体P2 和那个另外客体P1 和那个另外客体P2 的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数

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