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 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17935-17935	域 physicalEnd, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1254-1254	例 physicalEnd and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17933-17933	例 physicalEnd and BinaryRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17941-17941	子關係 physicalEnd and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1255-1255	子關係 physicalEnd and 適當的部分

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	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	physicalEnd Object and Object 膚淺的部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1280-1287	physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1271-1278	physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	physicalEnd Object and Object physicalEnd Object and Object 部分 Object and Object 部分 Object and Object 例 UnitOfMeasure and UnitOfLength 距離 Object, Object and 測量 RealNumber and UnitOfMeasure 等於 Object and Object ObjectP1 ObjectP2 and RealNumber 部分 ObjectP1 and Object 部分 ObjectP2 and Object 距離 ObjectP1, ObjectP2 and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17947-17962	physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 距離 Object, Object and 測量 RealNumber and UnitOfMeasure ObjectP1 ObjectP2 and RealNumber physicalEnd ObjectP1 and Object physicalEnd ObjectP2 and Object 等於 ObjectP1 and ObjectP2 距離 ObjectP1, ObjectP2 and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	relativeAngle Object, Object and RealNumber physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object length Object and 測量 RealNumber and UnitOfMeasure length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 空間的符合 Object and Object 等於 RealNumber and ArcCosineFn 部減法減法乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 2.0 and 乘法 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1262-1264	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1266-1269	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17943-17945	physicalEnd Object and Object attribute Object and 又長又瘦

consequent

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

Merge.kif 17947-17962

physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 距離 Object, Object and 測量 RealNumber and UnitOfMeasure
ObjectP1 ObjectP2 and RealNumber physicalEnd ObjectP1 and Object physicalEnd ObjectP2 and Object 等於 ObjectP1 and ObjectP2 距離 ObjectP1, ObjectP2 and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

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