| appearance as argument number 1 |
|
| (documentation IntersectionFn ChineseLanguage "这是一个 BinaryFunction，它把两个 SetOrClass 这两个 SetOrClass 的交集联系起来。一个物体是这两个 SetOrClass 的交集的一个实例， 以防它同时是这两个 SetOrClass 的一个 instance。") | chinese_format.kif 2294-2296 | |
| (documentation IntersectionFn EnglishLanguage "A BinaryFunction that maps two SetOrClasses to the intersection of these SetOrClasses. An object is an instance of the intersection of two SetOrClasses just in case it is an instance of both of those SetOrClasses.") | Merge.kif 5170-5173 | |
| (domain IntersectionFn 1 SetOrClass) | Merge.kif 5166-5166 | domain IntersectionFn, 1 and SetOrClass |
| (domain IntersectionFn 2 SetOrClass) | Merge.kif 5167-5167 | domain IntersectionFn, 2 and SetOrClass |
| (instance IntersectionFn BinaryFunction) | Merge.kif 5164-5164 | instance IntersectionFn and BinaryFunction |
| (instance IntersectionFn TotalValuedRelation) | Merge.kif 5165-5165 | instance IntersectionFn and TotalValuedRelation |
| (range IntersectionFn SetOrClass) | Merge.kif 5168-5168 | range IntersectionFn and SetOrClass |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage IntersectionFn "结合 %1 和 %2") | chinese_format.kif 496-496 | |
| (format EnglishLanguage IntersectionFn "the union of %1 and %2") | english_format.kif 504-504 | |
| (termFormat ChineseLanguage IntersectionFn "交集函数") | chinese_format.kif 497-497 | |
| (termFormat ChineseLanguage IntersectionFn "路口") | domainEnglishFormat.kif 30664-30664 | |
| (termFormat ChineseTraditionalLanguage IntersectionFn "路口") | domainEnglishFormat.kif 30663-30663 | |
| (termFormat EnglishLanguage IntersectionFn "intersection") | domainEnglishFormat.kif 30662-30662 |
| statement |
|
|
|
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