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 2138-2146
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 421-427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10628-10628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10627-10627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10630-10630
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10629-10629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10626-10626
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10625-10625
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9941-9941
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10632-10632
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10624-10624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2136-2136	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 1761-1761	The range of extension is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5579-5579	The range of kappa is an instance of class
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1504-1504	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 886-886	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	english_format.kif 974-974	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	french_format.kif 562-562	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 92-92	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 95-95	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2247-2247	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 514-514	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 97-97	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 129-129	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 583-583	The range of WeekBeforeMenstruationFn is an instance of class
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 96-96	The range of WeekBeforeMenstruationFn is an instance of class

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1490-1490	The number 1 argument of TTFx is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3576-3576	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 565-565	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 566-566	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 210-210	The number 3 argument of domain is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 232-232	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 3707-3707	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 547-547	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 548-548	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 91-91	The number 2 argument of immediate instance is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 153-153	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 154-154	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.	Mid-level-ontology.kif 31296-31296	The number 1 argument of member measure is an instance of class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22965	The number 2 argument of member type is an instance of class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22979-22979	The number 2 argument of member type count is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3644-3644	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 581-581	The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 582-582	The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 307-307	The number 2 argument of range is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3605-3605	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 131-131	The number 1 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	The number 2 argument of subclass 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.	Mid-level-ontology.kif 31307-31312	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 31314-31319	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 31484-31489	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 31513-31518	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 31408-31413	If members of a class have the measure a length measure in terms of Circumference and the class is an instance of class and an entity is an instance of the class, then circumference the entity and the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31462-31467	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and an entity is an instance of the class, then the diameter of the entity is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31623-31630	If members of a class have the measure a time duration in terms of Frequency and the class is an instance of class and an agent is an instance of the class and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31342-31347	If members of a class have the measure a length measure 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 length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31653-31658	If members of a class have the measure a function quantity 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 function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31535-31540	If members of a class have the measure a function quantity in terms of Primary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31578-31583	If members of a class have the measure a function quantity in terms of Secondary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31392	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 31361-31366	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 physical is an instance of the class, then the width of the physical is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 827-829	If a class is an instance of class, then the class is a subclass of entity

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical 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 573-577	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 557-561	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 2034-2041	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 2043-2052	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 137-141	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: