Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeginNodeFn

Sigma KEE - BeginNodeFn
BeginNodeFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2362-2364
No TPTP formula. May not be expressible in strict first order. Merge.kif 5946-5949
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1039-1041
No TPTP formula. May not be expressible in strict first order. Merge.kif 5942-5942 The number 1 argument of begin node is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5941-5941 Begin node is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5940-5940 Begin node is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5943-5943 The range of begin node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5944-5944 Begin node is internally related to initial node

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 765-765
No TPTP formula. May not be expressible in strict first order. english_format.kif 765-765
No TPTP formula. May not be expressible in strict first order. french_format.kif 462-462
No TPTP formula. May not be expressible in strict first order. relations-it.txt 35-35
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2166-2166
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 414-414
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 475-475
No TPTP formula. May not be expressible in strict first order. relations-de.txt 988-988
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 79-79
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 484-484
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 528-528
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 86-86
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10571-10571
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 766-766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10570-10570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10569-10569
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 87-87

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5765-5769

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2806-2819
No TPTP formula. May not be expressible in strict first order. Merge.kif 5630-5650
No TPTP formula. May not be expressible in strict first order. Merge.kif 5758-5763


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