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 Le nombre 1 argument de GraphPathFn est une instance de noeud du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6055-6055 Le nombre 2 argument de GraphPathFn est une instance de noeud du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6052-6052 GraphPathFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 6053-6053 GraphPathFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 Les valeurs retourn�es par GraphPathFn sont des sous-classes de chemin du graph

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