TreeView Knowledge Base Browser - InitialNodeFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InitialNodeFn

InitialNodeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2356-2358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5926-5929
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1033-1035
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5923-5923	O argumento numero 1 de InitialNodeFn e' uma instancia de Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5922-5922	InitialNodeFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5921-5921	InitialNodeFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5924-5924	O contra-dominio de InitialNodeFn e' uma instancia de No' do Grafo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 761-761
No TPTP formula. May not be expressible in strict first order.	english_format.kif 761-761
No TPTP formula. May not be expressible in strict first order.	french_format.kif 460-460
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 146-146
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2164-2164
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 412-412
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 982-982
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 185-185
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 482-482
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 526-526
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 296-296
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5945-5945	BeginNodeFn e' relacionado internamente por SUMO a InitialNodeFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30121-30121
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 762-762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30120-30120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30119-30119
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 297-297

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5867-5871	O no' initial 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' uma instancia de Laco 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

consequent

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

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