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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Set
Set(set)مَجْمُوْعَة, Abelian_group, Conjunto, Euclidean_space, Hilbert_space, Insieme, Mandelbrot_set, bounded_interval, closed, closed_interval, commutative_group, diagonal, distribution, ensemble, field, group, interval, isang_huwego, locus, manifold, mathematical_group, mathematical_space, metric_space, open, open_interval, pagbutang_paghan-ay, root, scalar_field, set, singleton, solution, statistical_distribution, sub-interval, subgroup, subset, subspace, topological_space, unbounded_interval, universal_set, varga, 集合

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2249-2253
No TPTP formula. May not be expressible in strict first order. Merge.kif 2241-2248
No TPTP formula. May not be expressible in strict first order. Merge.kif 2240-2240 Set is a subclass of set or class

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2216-2216 Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order. Merge.kif 4366-4366 The range of property is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5607-5607 Finite set is a subclass of set
No TPTP formula. May not be expressible in strict first order. engineering.kif 214-214 Set of equations is a subclass of set
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 887-887 "集合" is the printable form of set in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 574-574 "set" is the printable form of set in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 563-563 "ensemble" is the printable form of set in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 93-93 "varga" is the printable form of set in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 94-94 "Insieme" is the printable form of set in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 515-515 "Conjunto" is the printable form of set in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 299-299 "مَجْمُوْعَة" is the printable form of set in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 98-98 "pagbutang paghan-ay" is the printable form of set in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 130-130 "set" is the printable form of set in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 97-97 "isang huwego" is the printable form of set in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5473-5473 The number 2 argument of element is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5455-5455 The number 1 argument of subset is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5456 The number 2 argument of subset is an instance of set

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners