rangeSubclass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 372-373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 370-371
No TPTP formula. May not be expressible in strict first order.	Merge.kif 368-368	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 369-369	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 367-367	range subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 366-366	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 197-197
No TPTP formula. May not be expressible in strict first order.	french_format.kif 187-187
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 240-240
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 433-433
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 278-278
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 432-432
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 330-330	"子类别的范围" is the printable form of range subclass in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8552-8552	"range subclass" is the printable form of range subclass in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 582-582	"«القِيَم النَاتِجَة عَن هي صِنْف فَرْعِي مِن»" is the printable form of range subclass in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 375-379	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 387-393	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 487-492	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 381-385	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 381-385

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.	Facebook.kif 99-99	The values returned by AccountOfServiceFn are subclasses of social networking account
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8830-8830	The values returned by AfternoonFn are subclasses of afternoon
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.	Society.kif 1105-1105	The values returned by AgricultureFn are subclasses of agriculture
No TPTP formula. May not be expressible in strict first order.	Music.kif 950-950	The values returned by album copies function are subclasses of DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Government.kif 669-669	The values returned by constitution are subclasses of constitution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27462-27462	The values returned by CoveringFn are subclasses of wearable item
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6167-6167	The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8658-8658	The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 236-236	The values returned by DeadFn are subclasses of OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28326-28326	The values returned by DemonymFn are subclasses of NationalPerson
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2860-2860	The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15488-15488	The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1646-1646	The values returned by election are subclasses of election
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8872-8872	The values returned by EveningFn are subclasses of Evening
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 14858-14858	The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6238-6238	The values returned by GeographicPartTypeFn are subclasses of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6150-6150	The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8686-8686	The values returned by hour are subclasses of hour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6719-6719	The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-641	The values returned by JuiceOfFn are subclasses of Juice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18630-18630	The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6176-6176	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 8716-8716	The values returned by minute are subclasses of minute

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

KB Term:			Term intersection

English Word: