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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - links
links

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2347-2348
No TPTP formula. May not be expressible in strict first order. Merge.kif 5565-5566
No TPTP formula. May not be expressible in strict first order. Merge.kif 5561-5561 The number 1 argument of links is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5562-5562 The number 2 argument of links is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5563-5563 The number 3 argument of links is an instance of graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5560-5560 links is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 747-747
No TPTP formula. May not be expressible in strict first order. english_format.kif 752-752
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 748-748
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34483-34483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34482-34482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34481-34481

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5568-5570

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5487-5497 A graph is an instance of multi graph if and only if there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5549-5552 A graph arc is an instance of graph loop if and only if there exists a graph node such that the graph arc links the graph node and the graph node
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2848-2854
No TPTP formula. May not be expressible in strict first order. Merge.kif 5348-5368
No TPTP formula. May not be expressible in strict first order. Merge.kif 5539-5542
No TPTP formula. May not be expressible in strict first order. Merge.kif 5370-5384
No TPTP formula. May not be expressible in strict first order. Merge.kif 5529-5532
No TPTP formula. May not be expressible in strict first order. Merge.kif 5568-5570


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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