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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PathWeightFn

 Sigma KEE - PathWeightFn
PathWeightFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2370-2371
No TPTP formula. May not be expressible in strict first order. Merge.kif 5976-5978
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1047-1048
No TPTP formula. May not be expressible in strict first order. Merge.kif 5973-5973 Le nombre 1 argument de PathWeightFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5972-5972 PathWeightFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 5974-5974 Le domaine de PathWeightFn est une instance de nombre r�el

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 769-769
No TPTP formula. May not be expressible in strict first order. english_format.kif 769-769
No TPTP formula. May not be expressible in strict first order. french_format.kif 464-464
No TPTP formula. May not be expressible in strict first order. relations-it.txt 218-218
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2168-2168
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 416-416
No TPTP formula. May not be expressible in strict first order. relations-de.txt 994-994
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 256-256
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 486-486
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 532-532
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 410-410
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 770-770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44792-44792
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44791-44791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44790-44790

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6045-6051
No TPTP formula. May not be expressible in strict first order. Merge.kif 6023-6029
No TPTP formula. May not be expressible in strict first order. Merge.kif 5994-6007
No TPTP formula. May not be expressible in strict first order. Merge.kif 5980-5992

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5994-6007
No TPTP formula. May not be expressible in strict first order. Merge.kif 5980-5992


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