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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EndNodeFn

 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 5958-5961
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 5954-5954 Le nombre 1 argument de EndNodeFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5953-5953 EndNodeFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5952-5952 EndNodeFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 5955-5955 Le domaine de EndNodeFn est une instance de noeud du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5956-5956 EndNodeFn est reli� � l'int�rieur de SUMO � 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 5766-5770

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2851-2864
No TPTP formula. May not be expressible in strict first order. Merge.kif 5631-5651
No TPTP formula. May not be expressible in strict first order. Merge.kif 5759-5764


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