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 18038-18038	域 physicalEnd, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18039-18039	域 physicalEnd, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1247-1247	例 physicalEnd and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18037-18037	例 physicalEnd and BinaryRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18045-18045	子關係 physicalEnd and 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1248-1248	子關係 physicalEnd and 適當的部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18044-18044
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18043-18043

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	例 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 1757-1779	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 1707-1728	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 1282-1286	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 1273-1280	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 1264-1271	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 1288-1308	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 18051-18066	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 18010-18035	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 1255-1257	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1259-1262	physicalEnd Object and Object attribute Object and 又長又瘦
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18047-18049	physicalEnd Object and Object attribute Object and 又長又瘦

consequent

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

Merge.kif 18051-18066

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