| appearance as argument number 1 |
|
| (documentation IntersectionFn EnglishLanguage "A binary function that maps two set or classes to the intersection of these set or classes. An object is an instance of the intersection of two set or classes just in case it is an instance of both of those set or classes.") | Merge.kif 4272-4275 | |
| (domain IntersectionFn 1 SetOrClass) | Merge.kif 4269-4269 | The number 1 argument of intersection is an instance of set or class |
| (domain IntersectionFn 2 SetOrClass) | Merge.kif 4270-4270 | The number 2 argument of intersection is an instance of set or class |
| (instance IntersectionFn BinaryFunction) | Merge.kif 4267-4267 | Intersection is an instance of binary function |
| (instance IntersectionFn TotalValuedRelation) | Merge.kif 4268-4268 | Intersection is an instance of total valued relation |
| (range IntersectionFn SetOrClass) | Merge.kif 4271-4271 | The range of intersection is an instance of set or class |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage IntersectionFn "the union of %1 and %2") | english_format.kif 291-291 | |
| (termFormat EnglishLanguage IntersectionFn "intersection") | domainEnglishFormat.kif 4918-4918 | term format english language, intersection and "intersection" |
| statement |
|
|
| (domain comparativeArea 2 (IntersectionFn RelationExtendedToQuantities BinaryPredicate)) |
Geography.kif 637-637 | The number 2 argument of comparative area is an instance of the union of relation extended to quantities and binary predicate |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners