TreeView Knowledge Base Browser - graphPart

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - graphPart

graphPart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2349-2350
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5892-5894
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1024-1026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5889-5889	O argumento numero 1 de graphPart e' uma instancia de Elemento do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5890-5890	O argumento numero 2 de graphPart e' uma instancia de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5886-5886	graphPart e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5885-5885	graphPart e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5888-5888	graphPart e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5887-5887	graphPart e' uma instancia de Relacao Total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 749-749
No TPTP formula. May not be expressible in strict first order.	english_format.kif 751-751
No TPTP formula. May not be expressible in strict first order.	french_format.kif 452-452
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 119-119
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2160-2160
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 404-404
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 465-465
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 966-966
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 159-159
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 474-474
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 517-517
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 246-246
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 750-750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26459-26459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26458-26458

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5994-6007	O valor de Caminho do Grafo e' igual a Numero Real Arco do Grafo e' uma &parte de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Elemento do Grafo e' igual a Arco do Grafo o valor de Caminho do Grafo e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5980-5992	O valor de Caminho do Grafo e' igual a Numero Real Caminho do Grafo e' um sub-grafo de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Numero Real e' igual a (o valor de Caminho do Grafo + Numero Real)
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.	Merge.kif 5791-5800	Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Arco do Grafo e' igual a Arco do Grafo Grafo e' uma instancia de Multi-grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6063-6069	Elemento do Grafo e' uma &parte de Grafo Grafo e' uma instancia de Grafo Orientado Elemento do Grafo e' uma instancia de o conjunto de caminhos entre No' do Grafo e No' do Grafo Elemento do Grafo e' uma instancia de o conjunto de caminhos entre No' do Grafo e No' do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5676-5684	Grafo e' uma instancia de Grafo Orientado Arco do Grafo e' uma instancia de Arco do Grafo Arco do Grafo e' uma &parte de Grafo No' do Grafo No' do Grafo o no' initial Arco do Grafo e' igual a No' do Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5631-5651	Grafo e' uma instancia de Grafo No' do Grafo e' uma instancia de No' do Grafo No' do Grafo e' uma instancia de No' do Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' igual a No' do Grafo Arco do Grafo Caminho do Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Caminho do Grafo e' um sub-grafo de Grafo Caminho do Grafo e' uma instancia de Caminho do Grafo o comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo o comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5727-5738	Grafo e' uma instancia de Caminho do Grafo Arco do Grafo e' uma instancia de Arco do Grafo Arco do Grafo e' uma &parte de Grafo o no' initial Arco do Grafo e' igual a No' do Grafo Arco do Grafo o no' initial Arco do Grafo e' igual a No' do Grafo Arco do Grafo e' igual a Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5740-5751	Grafo e' uma instancia de Caminho do Grafo Arco do Grafo e' uma instancia de Arco do Grafo Arco do Grafo e' uma &parte de Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo Arco do Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo Arco do Grafo e' igual a Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5814-5818	Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo Grafo e' uma instancia de Pseudo-grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5906-5910	Grafo e' um sub-grafo de Grafo Elemento do Grafo e' uma &parte de Grafo Elemento do Grafo e' uma &parte de Grafo

consequent

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.	Merge.kif 5906-5910	Grafo e' um sub-grafo de Grafo Elemento do Grafo e' uma &parte de Grafo Elemento do Grafo e' uma &parte de Grafo
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.	Merge.kif 5653-5667	Grafo e' uma instancia de Grafo No' do Grafo No' do Grafo, No' do Grafo, Arco do Grafo and Arco do Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Arco do Grafo liga No' do Grafo e No' do Grafo No' do Grafo e' igual a No' do Grafo No' do Grafo e' igual a No' do Grafo No' do Grafo e' igual a No' do Grafo Arco do Grafo e' igual a Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5778-5789	Grafo e' uma instancia de Multi-grafo Arco do Grafo Arco do Grafo, No' do Grafo and No' do Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Arco do Grafo e' igual a Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5807-5812	Grafo e' uma instancia de Pseudo-grafo Elemento do Grafo Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5707-5717	Grafo e' uma instancia de Arvore Arco do Grafo Arco do Grafo and No' do Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo Arco do Grafo e' igual a Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5699-5705	Grafo e' uma instancia de Arvore Elemento do Grafo Elemento do Grafo e' uma instancia de Circuito do Grafo Elemento do Grafo e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5691-5697	Grafo e' uma instancia de Arvore Elemento do Grafo Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5826-5831	Elemento do Grafo e' uma instancia de Elemento do Grafo Grafo Grafo e' uma instancia de Grafo Elemento do Grafo e' uma &parte de Grafo

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