TreeView Knowledge Base Browser - GraphPath

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GraphPath

GraphPath(Caminho do Grafo)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2330-2333
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5721-5725
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1004-1007
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5719-5719	Caminho do Grafo e' uma sub-classe de Grafo Orientado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6035-6035	O contra-dominio de MaximalWeightedPathFn e' uma instancia de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6013-6013	O contra-dominio de MinimalWeightedPathFn e' uma instancia de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6073-6073	Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6057-6057	Os valores retornados por GraphPathFn sao as sub-classes de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6081-6081	Os valores retornados por MinimalCutSetFn sao as sub-classes de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5753-5753	Circuito do Grafo e' uma sub-classe de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 936-936
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1079-1079
No TPTP formula. May not be expressible in strict first order.	french_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 143-143
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 146-146
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2297-2297
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 564-564
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 148-148
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 633-633
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 147-147

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5943-5943	O argumento numero 1 de BeginNodeFn e' uma instancia de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5954-5954	O argumento numero 1 de EndNodeFn e' uma instancia de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5973-5973	O argumento numero 1 de PathWeightFn e' uma instancia de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5913-5913	O argumento numero 1 de pathLength e' uma instancia de Caminho do Grafo

antecedent

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

consequent

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.	Transportation.kif 2832-2837	distanceOnPath Quantidade Constante and Transitway Abstrato Abstrato e' uma instancia de Caminho do Grafo abstractCounterpart Abstrato and Transitway

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