| appearance as argument number 1 |
|
| (documentation subset ChineseLanguage "(subset ?SET1 ?SET2) 是真的，以防 Set ?SET1 的 elements 也是 Set ?SET2 的 element。") | chinese_format.kif 2287-2288 | |
| (documentation subset EnglishLanguage "(subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET2.") | Merge.kif 5125-5126 | |
| (domain subset 1 Set) | Merge.kif 5122-5122 | |
| (domain subset 2 Set) | Merge.kif 5123-5123 | |
| (instance subset BinaryPredicate) | Merge.kif 5121-5121 | |
| (subrelation subset subclass) | Merge.kif 5120-5120 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subset "%1 %n 是 %2 的 subset") | chinese_format.kif 486-486 | |
| (format EnglishLanguage subset "%1 is %n a subset of %2") | english_format.kif 494-494 | |
| (termFormat ChineseLanguage subset "子集") | chinese_format.kif 487-487 | |
| (termFormat ChineseTraditionalLanguage subset "子集") | domainEnglishFormat.kif 55789-55789 | |
| (termFormat EnglishLanguage subset "subset") | domainEnglishFormat.kif 55788-55788 |
| antecedent |
|
|
| (<=> (subset ?SUBSET ?SET) (forall (?ELEMENT) (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET)))) |
Merge.kif 5128-5133 |
|
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