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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphPathFn

Sigma KEE - GraphPathFn
GraphPathFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2376-2377
No TPTP formula. May not be expressible in strict first order. Merge.kif 6058-6060
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1053-1055
No TPTP formula. May not be expressible in strict first order. Merge.kif 6054-6054 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 6055-6055 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 6052-6052 Graph path is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6053-6053 Graph path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 The values returned by graph path are subclasses of graph path

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 775-775
No TPTP formula. May not be expressible in strict first order. english_format.kif 775-775
No TPTP formula. May not be expressible in strict first order. french_format.kif 467-467
No TPTP formula. May not be expressible in strict first order. relations-it.txt 120-120
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2171-2171
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 419-419
No TPTP formula. May not be expressible in strict first order. relations-de.txt 1003-1003
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 160-160
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 489-489
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 537-537
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 247-247
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26466-26466
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 776-776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26465-26465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26464-26464

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6044-6050
No TPTP formula. May not be expressible in strict first order. Merge.kif 6022-6028

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6062-6068
No TPTP formula. May not be expressible in strict first order. Merge.kif 6040-6042
No TPTP formula. May not be expressible in strict first order. Merge.kif 6018-6020


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