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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphNode
GraphNode(graph node)
Cartesian_coordinate, abscissa, co-ordinate, coordinate, intercept, ordinate, origin, polar_coordinate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2342-2343
No TPTP formula. May not be expressible in strict first order. Merge.kif 5516-5517
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1792-1792
No TPTP formula. May not be expressible in strict first order. Merge.kif 5514-5514 Graph node is a subclass of graph element

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5502-5502 Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5623-5623 The range of begin node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5634-5634 The range of end node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5603-5603 The range of initial node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5613-5613 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 941-941
No TPTP formula. May not be expressible in strict first order. english_format.kif 1094-1094

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5740-5740 The number 1 argument of graph path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5741-5741 The number 2 argument of graph path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5715-5715 The number 1 argument of maximal weighted path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5716-5716 The number 2 argument of maximal weighted path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5690-5690 The number 1 argument of minimal weighted path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5691-5691 The number 2 argument of minimal weighted path is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5551-5551 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 5552-5552 The number 2 argument of links is an instance of graph node

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5851-5861
No TPTP formula. May not be expressible in strict first order. Merge.kif 5338-5358
No TPTP formula. May not be expressible in strict first order. Merge.kif 5519-5522