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	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 6033-6033	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 6030-6030	Maximal weighted path is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6031-6031	Maximal weighted path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6034-6034	The range of maximal weighted path is an instance of graph path

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	If the highest cost path between a graph node and another graph node is equal to a graph path and the value of the graph path is equal to a real number and the graph path2 is an instance of the set of paths between the graph node and the other graph node and the value of the graph path2 is equal to another real number, then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6040-6042	If the highest cost path between a graph node and another graph node is equal to a graph path, then the graph path is an instance of the set of paths between the graph node and the other graph node

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