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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SetOrClass
SetOrClass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1804-1805
No TPTP formula. May not be expressible in strict first order. Merge.kif 2131-2133
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 419-420
No TPTP formula. May not be expressible in strict first order. Merge.kif 2129-2129 劃分 SetOrClass, Set and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 2128-2128 子類 SetOrClass and Abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5478-5478 範圍 補充 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5499-5499 範圍 一般化交叉口 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5488-5488 範圍 一般化聯盟 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5457-5457 範圍 路口 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5468-5468 範圍 相對補充 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5431-5431 範圍 聯盟 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 798-798 範圍子類 電源組 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2136-2136 子類 Class and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2148-2148 子類 Set and SetOrClass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 885-885
No TPTP formula. May not be expressible in strict first order. english_format.kif 972-972
No TPTP formula. May not be expressible in strict first order. french_format.kif 561-561
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order. terms-it.txt 94-94
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2246-2246
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 513-513
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 128-128
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 582-582
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 95-95

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5477-5477 補充, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5455-5455 路口, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5456 路口, 2 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 797-797 電源組, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5466-5466 相對補充, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5467-5467 相對補充, 2 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5429-5429 聯盟, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5430-5430 聯盟, 2 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 937-937 adjacentOrientation, 2 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Government.kif 436-436 基數, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. engineering.kif 39-39 詞庫, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5498-5498 域子類 一般化交叉口, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5487-5487 域子類 一般化聯盟, 1 and SetOrClass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 446-450

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2137-2150
No TPTP formula. May not be expressible in strict first order. Media.kif 2210-2223
No TPTP formula. May not be expressible in strict first order. Media.kif 2174-2187

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5508-5508 基數, 1 and 聯盟 SetOrClass and Collection


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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