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 5526-5527
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 5524-5524 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 5512-5512 Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5633-5633 The range of begin node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5644-5644 The range of end 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 initial node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5623-5623 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 5750-5750 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 5751-5751 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 5725-5725 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 5726-5726 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 5700-5700 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 5701-5701 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 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5861-5871
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 5529-5532