Class - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1806-1810
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2050-2058
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10650-10650
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10649-10649
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10652-10652
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10651-10651
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10648-10648
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10647-10647
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9960-9960
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10654-10654
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10646-10646
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2048-2048	Class 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 1684-1684	The range of attr is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1670-1670	The range of extension is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5309-5309	The range of kappa is an instance of class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7997-7997	Biological species is a subclass of class
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 886-886
No TPTP formula. May not be expressible in strict first order.	english_format.kif 979-979

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1685-1685	The number 1 argument of attr is an instance of class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1697-1697	The number 1 argument of TTFx is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3461-3461	The number 2 argument of closed on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 394-394	The number 1 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 395-395	The number 2 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 566-566	The number 1 argument of disjoint decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 567-567	The number 2 argument of disjoint decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 208-208	The number 3 argument of domain is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 230-230	The number 3 argument of domain subclass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3584-3584	The number 2 argument of equivalence relation on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 548-548	The number 1 argument of exhaustive decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 549-549	The number 2 argument of exhaustive decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 151-151	The number 1 argument of immediate subclass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 152-152	The number 2 argument of immediate subclass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 82-82	The number 2 argument of instance is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3508-3508	The number 2 argument of irreflexive on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3527-3527	The number 2 argument of partial ordering on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 582-582	The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 583-583	The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 305-305	The number 2 argument of range is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3490-3490	The number 2 argument of reflexive on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	The number 1 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	The number 2 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8487-8487	The number 1 argument of successorClass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8488-8488	The number 2 argument of successorClass is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 793-795	A class is an instance of class if and only if the class is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27231-27236	If members of a class have the measure a quantity in terms of a measurement attribute and the class is an instance of class and an entity is an instance of the class, then the entity is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27238-27243	If members of a class have the measure a physical quantity in terms of a measurement attribute and the class is an instance of class and a physical is an instance of the class, then the measure of the physical is the physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27399-27404	If members of a class have the measure a length measure in terms of ApproximateDiameter and the class is an instance of class and a self connected object is an instance of the class, then the approximate diameter of the self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27421-27426	If members of a class have the measure an area measure in terms of Area and the class is an instance of class and a region is an instance of the class, then the area measure is a total area of the region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27332-27337	If members of a class have the measure a length measure in terms of Circumfrence and the class is an instance of class and a circle is an instance of the class, then circumfrence the circle and the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27377-27382	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and a circle is an instance of the class, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27487-27492	If members of a class have the measure a time duration in terms of Frequency and the class is an instance of class and a kind of process is an instance of the class, then a kind of process occurs every the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27266-27271	If members of a class have the measure a quantity in terms of length and the class is an instance of class and a physical is an instance of the class, then the length of the physical is the quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27515-27520	If members of a class have the measure a CompositeUnitOfMeasure in terms of Transformer Capacity and the class is an instance of class and a transformer is an instance of the class, then the capacity of the transformer is the CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27443-27448	If members of a class have the measure a quantity in terms of Primary Voltage Rating and the class is an instance of class and an entity is an instance of the class, then voltageRatingPrimary the entity and the quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27465-27470	If members of a class have the measure a quantity in terms of Secondary Voltage Rating and the class is an instance of class and an entity is an instance of the class, then voltageRatingSecondary the entity and the quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27311-27316	If members of a class have the measure a length measure in terms of width and the class is an instance of class and a self connected object is an instance of the class, then the height of the self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27285-27290	If members of a class have the measure a quantity in terms of width and the class is an instance of class and a physical is an instance of the class, then the width of the physical is the quantity

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 182-197	If a collection is an instance of web listing category and an object is an instance of web listing and another object is an instance of web listing and a process is an instance of object and another process is an instance of object and the object is a member of the collection and the other object is a member of the collection and the object is a patient of the process and the other object is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 574-578	If @ROW is disjointly decomposed into @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-562	If @ROW is covered by @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2243-2250	If an object is an instance of product description page, then there exist an entity and a process such that the entity is an instance of class and the process is an instance of advertising and the entity is a patient of the process and the process is a part of the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2252-2261	If an object is an instance of product description page, then there exist an entity, a process,, , another process and the processCONTENT such that the entity is an instance of class and the other process is an instance of stating and the process is a patient of the other process and the process includes a reference to the entity and the processCONTENT is a result of the process and the processCONTENT is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 135-139	If a class is a subclass of another class, then the class is an instance of class and the other class is an instance of class

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

KB Term:			Term intersection

English Word: