TreeView Knowledge Base Browser - MaximalWeightedPathFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

MaximalWeightedPathFn

Sigma KEE - MaximalWeightedPathFn

MaximalWeightedPathFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2374-2375
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6036-6038
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1051-1052
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6032-6032	Le nombre 1 argument de MaximalWeightedPathFn est une instance de noeud du graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6033-6033	Le nombre 2 argument de MaximalWeightedPathFn est une instance de noeud du graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6030-6030	MaximalWeightedPathFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6031-6031	MaximalWeightedPathFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6034-6034	Le domaine de MaximalWeightedPathFn est une instance de chemin du graph

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 773-773
No TPTP formula. May not be expressible in strict first order.	english_format.kif 773-773
No TPTP formula. May not be expressible in strict first order.	french_format.kif 466-466
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 176-176
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2170-2170
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 418-418
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 1000-1000
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 214-214
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 488-488
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 535-535
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 349-349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36593-36593
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 774-774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36592-36592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36591-36591

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6044-6050	Le plus grand chemin entre noeud du graph et noeud du graph est chemin du graph la valeur de chemin du graph est nombre r�el chemin du graph2 est une instance de l' ensemble de chemin entre noeud du graph et noeud du graph la valeur de chemin du graph2 est nombre r�el nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6040-6042	Le plus grand chemin entre noeud du graph et noeud du graph est chemin du graph chemin du graph est une instance de l' ensemble de chemin entre noeud du graph et noeud du graph

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