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 5844-5847
No TPTP formula. May not be expressible in strict first order. Merge.kif 5840-5840 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 5839-5839 Begin node is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5838-5838 Begin node is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5841-5841 The range of begin node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5842-5842 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. domainEnglishFormat.kif 10580-10580
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 10579-10579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10578-10578

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5663-5667

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2813-2826
No TPTP formula. May not be expressible in strict first order. Merge.kif 5530-5550
No TPTP formula. May not be expressible in strict first order. Merge.kif 5656-5661


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