| appearance as argument number 1 |
|
| (documentation subCollection ChineseLanguage "(subCollection ?COLL1 ?COLL2) 的意思是 Collection ?COLL1 是 Collection ?COLL2 的真正部分。") | chinese_format.kif 1635-1636 | |
| (documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.") | Merge.kif 1245-1246 | |
| (domain subCollection 1 Collection) | Merge.kif 1242-1242 | |
| (domain subCollection 2 Collection) | Merge.kif 1243-1243 | |
| (instance subCollection BinaryPredicate) | Merge.kif 1240-1240 | |
| (instance subCollection PartialOrderingRelation) | Merge.kif 1241-1241 | |
| (subrelation subCollection part) | Merge.kif 1248-1248 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subCollection "%1 %n 是 %2 的 真正的子集") | chinese_format.kif 185-185 | |
| (format EnglishLanguage subCollection "%1 is %n a proper sub-collection of %2") | english_format.kif 186-186 | |
| (subrelation subOrganization subCollection) | Merge.kif 16459-16459 | |
| (termFormat ChineseLanguage subCollection "子集") | chinese_format.kif 186-186 | |
| (termFormat ChineseLanguage subCollection "子集合") | domainEnglishFormat.kif 55689-55689 | |
| (termFormat ChineseTraditionalLanguage subCollection "子集合") | domainEnglishFormat.kif 55688-55688 | |
| (termFormat EnglishLanguage subCollection "sub collection") | domainEnglishFormat.kif 55687-55687 |
| antecedent |
|
|
| (<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2)))) |
Merge.kif 1250-1255 | |
| (=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (not (equal ?AGENT ?POPULACE)) (not (equal ?AGENT (GovernmentFn ?NATION))) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION))))) |
MilitaryProcesses.kif 163-183 | |
| (=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))) |
UXExperimentalTerms.kif 3876-3911 |
| consequent |
|
|
| (=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (subCollection ?SAMPLE_COLL ?POP_COLL)) |
UXExperimentalTerms.kif 608-614 | |
| (=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2872-2883 | |
| (=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE)))) |
Mid-level-ontology.kif 22093-22099 |
| appearance as argument number 0 |
|
|
|
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