subrelation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 193-196
No TPTP formula. May not be expressible in strict first order.	Merge.kif 187-192
No TPTP formula. May not be expressible in strict first order.	Merge.kif 185-185	The number 1 argument of subrelation is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 186-186	The number 2 argument of subrelation is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 183-183	subrelation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 184-184	subrelation is an instance of partial ordering relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	english_format.kif 193-193
No TPTP formula. May not be expressible in strict first order.	french_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 279-279
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 128-128
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 176-176
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 422-422
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 316-316
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 471-471
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 322-322	"子关系" is the printable form of subrelation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9726-9726	"subrelation" is the printable form of subrelation in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 578-578	"«عَلاقَة فَرْعِيَّة مِن»" is the printable form of subrelation in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 119-121	A relation is a subrelation of involved in event if and only if the relation is an instance of case role
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 42-51	If an attribute is an instance of attribute and another attribute is an instance of attribute and a binary predicate is a subrelation of attribute, then ~{ the attribute and the other attribute are mutually exclusive for the binary predicate } or ~{ the binary predicate an entity and the attribute } or ~{ the binary predicate the entity and the other attribute }
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20758-20762	If an object plays role in event a case role for a process and the case role is a subrelation of the case role2, then the object plays role in event the case role2 for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 205-209	If a relation is a subrelation of another relation and the number a positive integer argument of the other relation is an instance of a set or class, then the number the positive integer argument of the relation is an instance of the set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 219-224	If a relation is a subrelation of another relation and the other relation is an instance of a set or class and the set or class is a subclass of inheritable relation, then the relation is an instance of the set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 199-203	If a relation is a subrelation of another relation and the relation %&has a positive integer argument(s), then the other relation %&has the positive integer argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 267-271	If a relation is a subrelation of another relation and the number a positive integer argument of the other relation is a subclass of a set or class, then the number the positive integer argument of the relation is a subclass of the set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 211-217	If a relation is a subrelation of another relation and the relation is an instance of predicate and the other relation is an instance of predicate and the relation @ROW, then the other relation @ROW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 352-356	If a function is a subrelation of another function and the range of the other function is an instance of a set or class, then the range of the function is an instance of the set or class
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 2548-2550

If a relation is an instance of case role,
then the relation is a subrelation of involved in event

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2446-2446	Aborted launch is a subrelation of aborted
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2400-2400	Aborted mission is a subrelation of aborted
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 256-256	Associate's degree is a subrelation of substantive degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 284-284	Bachelor's degree is a subrelation of substantive degree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7774-7774	Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6808-6808	Density is a subrelation of per
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 370-370	Doctorate degree is a subrelation of substantive degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 213-213	Honorary associate's degree is a subrelation of honorary degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 184-184	Honorary bachelor's degree is a subrelation of honorary degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 108-108	Honorary degree is a subrelation of degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 151-151	Honorary doctorate degree is a subrelation of honorary degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 167-167	Honorary master's degree is a subrelation of honorary degree
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 328-328	Master's degree is a subrelation of substantive degree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5758-5758	Shoreline is a subrelation of border
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6822-6822	Speed is a subrelation of per
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 229-229	Substantive degree is a subrelation of degree
No TPTP formula. May not be expressible in strict first order.	Media.kif 3078-3078	abbreviatedDisplayTitle is a subrelation of displayTitle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25048-25048	abbreviation is a subrelation of acronym
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 857-857	absorbed dose is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6210-6210	abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1613-1613	abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 228-228	account at is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 247-247	account holder is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order.	Media.kif 3004-3004	acronym is a subrelation of abbreviation
No TPTP formula. May not be expressible in strict first order.	Government.kif 373-373	administrative center is a subrelation of geopolitical subdivision

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: