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 5859-5860
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1016-1017
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1790-1790
No TPTP formula. May not be expressible in strict first order. Merge.kif 5857-5857 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 5845-5845 Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5968-5968 The range of begin node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5979 The range of end node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5948-5948 The range of initial node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5958-5958 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 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. english_format.kif 1089-1089 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. french_format.kif 617-617 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 148-148 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. terms-it.txt 151-151 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2302-2302 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 569-569 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 185-185 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. terms-de.txt 444-444 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 638-638 The range of terminal node is an instance of graph node
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 152-152 The range of terminal node is an instance of graph node

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6079-6079 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 6080-6080 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 6057-6057 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 6058-6058 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 6035-6035 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 6036-6036 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 5898-5898 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 5899-5899 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 6190-6201
No TPTP formula. May not be expressible in strict first order. Merge.kif 5655-5675
No TPTP formula. May not be expressible in strict first order. Merge.kif 5862-5865