TreeView Knowledge Base Browser - EndNodeFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EndNodeFn

EndNodeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2365-2367
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5957-5960
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1042-1044
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5953-5953	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 5952-5952	EndNodeFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5951-5951	EndNodeFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5954-5954	O contra-dominio de EndNodeFn e' uma instancia de No' do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5955-5955	EndNodeFn e' relacionado internamente por SUMO a TerminalNodeFn

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 767-767
No TPTP formula. May not be expressible in strict first order.	english_format.kif 767-767
No TPTP formula. May not be expressible in strict first order.	french_format.kif 463-463
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 93-93
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2167-2167
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 415-415
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 476-476
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 991-991
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 133-133
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 485-485
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 530-530
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 201-201
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22048-22048
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 768-768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22047-22047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22046-22046
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 202-202

antecedent

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

Merge.kif 5765-5769

O comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo
Caminho do Grafo e' uma instancia de Circuito do Grafo

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2806-2819	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 5630-5650	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 5758-5763	Caminho do Grafo e' uma instancia de Circuito do Grafo 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

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