subCollection |
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 1251-1252 | |
(domain subCollection 1 Collection) | Merge.kif 1248-1248 | The number 1 argument of sub collection is an instance of collection |
(domain subCollection 2 Collection) | Merge.kif 1249-1249 | The number 2 argument of sub collection is an instance of collection |
(instance subCollection BinaryPredicate) | Merge.kif 1246-1246 | sub collection is an instance of binary predicate |
(instance subCollection PartialOrderingRelation) | Merge.kif 1247-1247 | sub collection is an instance of partial ordering relation |
(subrelation subCollection part) | Merge.kif 1254-1254 | sub collection is a subrelation of part |
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 16472-16472 | sub organization is a subrelation of sub collection |
(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 1256-1261 | A collection is a proper sub-collection of another collection if and only if for all a physical
|
(=> (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 |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |