TreeView Knowledge Base Browser - axis

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

axis

Sigma KEE - axis

axis

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17490-17491
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17492-17492	域軸, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17493-17493	域軸, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17489-17489	例軸 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 244-244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 243-243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 242-242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9414-9414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9413-9413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9412-9412

antecedent

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

Mid-level-ontology.kif 17495-17507

AutonomousAgent 是 AutonomousAgent 的 axis
Process 例 Process and 旋轉部分 AutonomousAgent and AutonomousAgent 體驗者 Process and AutonomousAgent Process 例 Process and 旋轉子過程 Process and Process 體驗者 Process and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17514-17523	例 Process and 離心運動 Process Object, AutonomousAgent and AutonomousAgent 例 Process and 旋轉 AutonomousAgent 是 Object 的 axis 起源 Process and Object 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17529-17538	例 Process and 向心運動 Process Object, AutonomousAgent and AutonomousAgent 例 Process and 旋轉 AutonomousAgent 是 Object 的 axis 目的地 Process and Object 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1320-1323	例 Object and Lever Object Object 是 Object 的 axis

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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