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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Set
Set(集合)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1811-1815
No TPTP formula. May not be expressible in strict first order. Merge.kif 2150-2157
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 428-433
No TPTP formula. May not be expressible in strict first order. Merge.kif 2148-2148 集合集或类subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2129-2129 集或类 详尽无遗地 partition集合
No TPTP formula. May not be expressible in strict first order. Merge.kif 4275-4275 属于财产函数range集合 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 5537-5537 有限集合集合subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5527-5527 非空集集合subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5516-5516 空集集合subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 205-205 方程组集合subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 887-887
No TPTP formula. May not be expressible in strict first order. english_format.kif 976-976
No TPTP formula. May not be expressible in strict first order. french_format.kif 563-563
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 93-93
No TPTP formula. May not be expressible in strict first order. terms-it.txt 96-96
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2248-2248
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 515-515
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 98-98
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 130-130
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 584-584
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 97-97

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5415-5415 元素 的 2 数量 是 集合instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5393-5393 子集 的 1 数量 是 集合instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5394-5394 子集 的 2 数量 是 集合instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31316-31323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31179-31184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31112-31117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31157-31162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31091-31096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31060-31065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31011-31016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31208-31213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31348-31353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31230-31235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31273-31278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31079-31084

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060


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