immediateSubclass - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - immediateSubclass

immediateSubclass

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1395-1397
No TPTP formula. May not be expressible in strict first order.	Merge.kif 155-158
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 30-32
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 31-34
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 150-150	immediate subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 152-152	immediate subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 151-151	immediate subclass is an instance of intransitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 303-303
No TPTP formula. May not be expressible in strict first order.	english_format.kif 308-308
No TPTP formula. May not be expressible in strict first order.	french_format.kif 174-174
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 140-140
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1994-1994
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 397-397
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 179-179
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 194-194
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 183-183
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 284-284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29367-29367
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 304-304
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29366-29366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29365-29365
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 285-285

antecedent

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

Merge.kif 160-167

If a class is an immediate subclass of another class,
then there doesn't exist a third class such that the third class is a subclass of the other class and the class is a subclass of the third class and the other class is not equal to the third class and the class is not equal to the third 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