TreeView Knowledge Base Browser - abstractCounterpart

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

abstractCounterpart

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 6116-6120
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 6112-6112	O argumento numero 1 de abstractCounterpart e' uma instancia de Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6113-6113	O argumento numero 2 de abstractCounterpart e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6111-6111	abstractCounterpart e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6114-6114	abstractCounterpart e' uma sub-relacao de represents

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 65767-65767

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2903-2909	Objeto conecta Objeto e Objeto abstractCounterpart No' do Grafo and Objeto abstractCounterpart No' do Grafo and Objeto abstractCounterpart ObjetoRC and Objeto ObjetoRC liga No' do Grafo e No' do Grafo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2839-2852	distanceOnPath Quantidade Constante and Transitway pathInSystem Transitway and TransitSystem routeStart Regiao and Transitway routeEnd Regiao and Transitway abstractCounterpart Caminho do Grafo and TransitSystem Grafo No' do Grafo and No' do Grafo Grafo e' um sub-grafo de Caminho do Grafo No' do Grafo e' igual a o comeco de Caminho do Grafo No' do Grafo e' igual a o fim de Caminho do Grafo abstractCounterpart No' do Grafo and Regiao abstractCounterpart No' do Grafo and Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6166-6177	graphMeasure Grafo and Unidade de Medida Elemento do Grafo e' uma instancia de No' do Grafo Elemento do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma instancia de Arco do Grafo abstractCounterpart Elemento do Grafo and Fisico abstractCounterpart Arco do Grafo and Fisico o valor de Arco do Grafo e' Numero Real a medida de Fisico e' Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2879-2889	PhysicalSystem e' uma instancia de TransitSystem Fisico e' uma instancia de Transitway abstractCounterpart Grafo and PhysicalSystem systemPart Fisico and PhysicalSystem GrafoA GrafoA e' uma instancia de Arco do Grafo abstractCounterpart GrafoA and Fisico GrafoA e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2891-2901	PhysicalSystem e' uma instancia de TransitSystem Fisico e' uma instancia de TransitwayJunction abstractCounterpart Grafo and PhysicalSystem systemPart Fisico and PhysicalSystem GrafoN GrafoN e' uma instancia de No' do Grafo abstractCounterpart GrafoN and Fisico GrafoN e' uma &parte de Grafo

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2839-2852	distanceOnPath Quantidade Constante and Transitway pathInSystem Transitway and TransitSystem routeStart Regiao and Transitway routeEnd Regiao and Transitway abstractCounterpart Caminho do Grafo and TransitSystem Grafo No' do Grafo and No' do Grafo Grafo e' um sub-grafo de Caminho do Grafo No' do Grafo e' igual a o comeco de Caminho do Grafo No' do Grafo e' igual a o fim de Caminho do Grafo abstractCounterpart No' do Grafo and Regiao abstractCounterpart No' do Grafo and Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2879-2889	PhysicalSystem e' uma instancia de TransitSystem Fisico e' uma instancia de Transitway abstractCounterpart Grafo and PhysicalSystem systemPart Fisico and PhysicalSystem GrafoA GrafoA e' uma instancia de Arco do Grafo abstractCounterpart GrafoA and Fisico GrafoA e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2891-2901	PhysicalSystem e' uma instancia de TransitSystem Fisico e' uma instancia de TransitwayJunction abstractCounterpart Grafo and PhysicalSystem systemPart Fisico and PhysicalSystem GrafoN GrafoN e' uma instancia de No' do Grafo abstractCounterpart GrafoN and Fisico GrafoN e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2832-2837	distanceOnPath Quantidade Constante and Transitway Abstrato Abstrato e' uma instancia de Caminho do Grafo abstractCounterpart Abstrato and Transitway
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6158-6164	graphMeasure Grafo and Unidade de Medida Elemento do Grafo Elemento do Grafo e' uma &parte de Grafo Fisico abstractCounterpart Elemento do Grafo and Fisico
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2872-2877	Fisico e' uma instancia de TransitSystem Abstrato Abstrato e' uma instancia de Grafo abstractCounterpart Abstrato and Fisico

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