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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Set

Sigma KEE - Set
Set(set)Abelian_group, Euclidean_space, Hilbert_space, Mandelbrot_set, bounded_interval, closed, closed_interval, commutative_group, diagonal, distribution, field, group, interval, locus, manifold, mathematical_group, mathematical_space, metric_space, open, open_interval, root, scalar_field, set, singleton, solution, statistical_distribution, sub-interval, subgroup, subset, subspace, topological_space, unbounded_interval, universal_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 2090-2097
No TPTP formula. May not be expressible in strict first order. Merge.kif 2088-2088 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 2069-2069 Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order. Merge.kif 4185-4185 The range of property is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5437-5437 Finite set is a subclass of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5427-5427 Non null set is a subclass of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5416-5416 Null set is a subclass of set
No TPTP formula. May not be expressible in strict first order. engineering.kif 204-204 Set of equations is a subclass of set
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

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30683-30690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30555-30560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30488-30493
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30533-30538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30467-30472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30436-30441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30387-30392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30577-30582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30715-30720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30599-30604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30642-30647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30455-30460

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


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


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