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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CutSetFn

Sigma KEE - CutSetFn
CutSetFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2378-2379
No TPTP formula. May not be expressible in strict first order. Merge.kif 6074-6076
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1056-1058
No TPTP formula. May not be expressible in strict first order. Merge.kif 6071-6071 切集, 1 and Graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6070-6070 切集 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 6072-6072 範圍子類 切集 and GraphPath

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 777-777
No TPTP formula. May not be expressible in strict first order. english_format.kif 777-777
No TPTP formula. May not be expressible in strict first order. french_format.kif 468-468
No TPTP formula. May not be expressible in strict first order. relations-it.txt 63-63
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2172-2172
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 420-420
No TPTP formula. May not be expressible in strict first order. relations-de.txt 1006-1006
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 490-490
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 538-538
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 97-97
No TPTP formula. May not be expressible in strict first order. Merge.kif 6081-6081 相關的內部概念 最小割集 and 切集
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 778-778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18222-18222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18221-18221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18220-18220
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 143-143

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6087-6089

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