TreeView Knowledge Base Browser - InitialNodeFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InitialNodeFn

InitialNodeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2356-2358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5925-5928
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1033-1035
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5922-5922	域初始節點, 1 and GraphArc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5921-5921	例初始節點 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5920-5920	例初始節點 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5923-5923	範圍初始節點 and GraphNode

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 761-761
No TPTP formula. May not be expressible in strict first order.	english_format.kif 761-761
No TPTP formula. May not be expressible in strict first order.	french_format.kif 460-460
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 146-146
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2164-2164
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 412-412
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 982-982
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 185-185
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 482-482
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 526-526
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 296-296
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5944-5944	相關的內部概念開始節點 and 初始節點
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30121-30121
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 762-762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30120-30120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30119-30119
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 297-297

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5866-5870	等於初始節點 GraphArc and GraphNode 等於終端節點 GraphArc and GraphNode 例 GraphArc and GraphLoop
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5726-5737	例 Graph and GraphPath 例 GraphArc and GraphArc 圖形部分 GraphArc and Graph 等於初始節點 GraphArc and GraphNode GraphArc 等於初始節點 GraphArc and GraphNode 等於 GraphArc and GraphArc

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5675-5683	例 Graph and DirectedGraph 例 GraphArc and GraphArc 圖形部分 GraphArc and Graph GraphNode GraphNode 等於初始節點 GraphArc and GraphNode 等於終端節點 GraphArc and GraphNode
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5726-5737	例 Graph and GraphPath 例 GraphArc and GraphArc 圖形部分 GraphArc and Graph 等於初始節點 GraphArc and GraphNode GraphArc 等於初始節點 GraphArc and GraphNode 等於 GraphArc and GraphArc

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