Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subset

Sigma KEE - subset
subset

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2287-2288
No TPTP formula. May not be expressible in strict first order. Merge.kif 5296-5297
No TPTP formula. May not be expressible in strict first order. Merge.kif 5293-5293 The number 1 argument of subset is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5294-5294 The number 2 argument of subset is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5292-5292 subset is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 5291-5291 subset is a subrelation of subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 486-486
No TPTP formula. May not be expressible in strict first order. english_format.kif 491-491
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 487-487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55778-55778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55777-55777

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5299-5303

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5305-5309


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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