rangeSubclass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1492-1493
No TPTP formula. May not be expressible in strict first order.	Merge.kif 335-336
No TPTP formula. May not be expressible in strict first order.	Merge.kif 333-333	The number 1 argument of range subclass is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 334-334	The number 2 argument of range subclass is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 332-332	range subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 331-331	range subclass is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 329-329
No TPTP formula. May not be expressible in strict first order.	english_format.kif 337-337
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48692-48692
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48691-48691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48690-48690

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 338-342	If the values returned by a function are subclasses of a kind of set or class and the function(@ROW) is equal to another set or class, then the other set or class is a subclass of a kind of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 350-356	If the values returned by a function are subclasses of a kind of set or class and the values returned by the function are subclasses of another kind of set or class, then a kind of set or class is a subclass of another kind of set or class or the other kind of set or class is a subclass of the kind of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 440-445	If the values returned by a function are subclasses of a kind of set or class and the values returned by another function are subclasses of another kind of set or class and a kind of set or class is disjoint from another kind of set or class, then the function and the other function are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 344-348	If a function is a subrelation of another function and the values returned by the other function are subclasses of a kind of set or class, then the values returned by the function are subclasses of a kind of set or class

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 344-348

If a function is a subrelation of another function and the values returned by the other function are subclasses of a kind of set or class,
then the values returned by the function are subclasses of a kind of set or class

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 88-88	The values returned by AgentOfOrganismFn are subclasses of biological agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 928-928	The values returned by album copies function are subclasses of DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Government.kif 662-662	The values returned by constitution are subclasses of constitution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27942-27942	The values returned by CoveringFn are subclasses of wearable item
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5768-5768	The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8064-8064	The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 235-235	The values returned by DeadFn are subclasses of OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28808-28808	The values returned by DemonymFn are subclasses of NationalPerson
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2872-2872	The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14376	The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1640-1640	The values returned by election are subclasses of election
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4435-4435	The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1091-1091	The values returned by FarmOfProductFn are subclasses of cultivated land area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3701-3701	The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13832-13832	The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6346-6346	The values returned by GeographicPartTypeFn are subclasses of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5752-5752	The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8089-8089	The values returned by hour are subclasses of hour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6280-6280	The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order.	Food.kif 596-596	The values returned by JuiceOfFn are subclasses of Juice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17039-17039	The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5776-5776	The values returned by minimal cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8115-8115	The values returned by minute are subclasses of minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8047-8047	The values returned by month are subclasses of month
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1496-1496	The values returned by network communication function are subclasses of NetworkCommunication

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: