abstractCounterpart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - abstractCounterpart

abstractCounterpart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2382-2384
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6115-6119
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1061-1064
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6111-6111	域 abstractCounterpart, 1 and Abstract
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6112-6112	域 abstractCounterpart, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6110-6110	例 abstractCounterpart and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6113-6113	子關係 abstractCounterpart and 代表

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2654-2654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2653-2653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2652-2652
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65765-65765

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2870-2876	連接 Object, Object and Object Object 的 abstract counterpart 是 GraphNode Object 的 abstract counterpart 是 GraphNode Object 的 abstract counterpart 是 ObjectRC 鏈接 GraphNode, GraphNode and ObjectRC
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2806-2819	公交專用道的 distance 是 ConstantQuantity 運輸系統是公交專用道在系統裡的 path Region 是公交專用道的 start Region 是公交專用道的 end 運輸系統的 abstract counterpart 是 GraphPath Graph GraphNode and GraphNode 子圖 Graph and GraphPath 等於 GraphNode and 開始節點 GraphPath 等於 GraphNode and 結束節點 GraphPath Region 的 abstract counterpart 是 GraphNode Region 的 abstract counterpart 是 GraphNode
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6165-6176	UnitOfMeasure 是 unit 在 Graph 例 GraphElement and GraphNode 圖形部分 GraphElement and Graph 圖形部分 GraphArc and Graph 例 GraphArc and GraphArc Physical 的 abstract counterpart 是 GraphElement Physical 的 abstract counterpart 是 GraphArc 弧重 GraphArc and RealNumber 測量 Physical and 測量 RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2846-2856	例物理系統 and 運輸系統例 Physical and 公交專用道物理系統的 abstract counterpart 是 Graph 物理系統是 Physical 的 system 部分 GraphA 例 GraphA and GraphArc Physical 的 abstract counterpart 是 GraphA 圖形部分 GraphA and Graph
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2858-2868	例物理系統 and 運輸系統例 Physical and 臨時路口物理系統的 abstract counterpart 是 Graph 物理系統是 Physical 的 system 部分 GraphN 例 GraphN and GraphNode Physical 的 abstract counterpart 是 GraphN 圖形部分 GraphN and Graph

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2806-2819	公交專用道的 distance 是 ConstantQuantity 運輸系統是公交專用道在系統裡的 path Region 是公交專用道的 start Region 是公交專用道的 end 運輸系統的 abstract counterpart 是 GraphPath Graph GraphNode and GraphNode 子圖 Graph and GraphPath 等於 GraphNode and 開始節點 GraphPath 等於 GraphNode and 結束節點 GraphPath Region 的 abstract counterpart 是 GraphNode Region 的 abstract counterpart 是 GraphNode
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2846-2856	例物理系統 and 運輸系統例 Physical and 公交專用道物理系統的 abstract counterpart 是 Graph 物理系統是 Physical 的 system 部分 GraphA 例 GraphA and GraphArc Physical 的 abstract counterpart 是 GraphA 圖形部分 GraphA and Graph
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2858-2868	例物理系統 and 運輸系統例 Physical and 臨時路口物理系統的 abstract counterpart 是 Graph 物理系統是 Physical 的 system 部分 GraphN 例 GraphN and GraphNode Physical 的 abstract counterpart 是 GraphN 圖形部分 GraphN and Graph
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2799-2804	公交專用道的 distance 是 ConstantQuantity Abstract 例 Abstract and GraphPath 公交專用道的 abstract counterpart 是 Abstract
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6157-6163	UnitOfMeasure 是 unit 在 Graph GraphElement 圖形部分 GraphElement and Graph Physical Physical 的 abstract counterpart 是 GraphElement
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2839-2844	例 Physical and 運輸系統 Abstract 例 Abstract and Graph Physical 的 abstract counterpart 是 Abstract

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