| SetOrClass | |
| appearance as argument number 1 |
|
|
| (documentation SetOrClass ChineseLanguage "这是 Set 和 Class 的 SetOrClass，也就是说 任何 Abstract 有 element 或 instance的实例。") | chinese_format.kif 1804-1805 | |
| (documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.") | Merge.kif 2131-2133 | |
| (documentation SetOrClass JapaneseLanguage "Sets の SetOrClass と Classes。 例： elements または instances がある Abstract の任意のインスタンス。") | japanese_format.kif 419-420 | |
| (partition SetOrClass Set Class) | Merge.kif 2129-2129 | SetOrClass wird vollstaendig in Set und Class verteilt |
| (subclass SetOrClass Abstract) | Merge.kif 2128-2128 | SetOrClass ist eine teilkategorie von Abstract |
| appearance as argument number 2 |
|
|
| (range ComplementFn SetOrClass) | Merge.kif 5478-5478 | bildbereich von ComplementFn ist ein fall von SetOrClass {nicht} |
| (range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5499-5499 | bildbereich von GeneralizedIntersectionFn ist ein fall von SetOrClass {nicht} |
| (range GeneralizedUnionFn SetOrClass) | Merge.kif 5488-5488 | bildbereich von GeneralizedUnionFn ist ein fall von SetOrClass {nicht} |
| (range IntersectionFn SetOrClass) | Merge.kif 5457-5457 | bildbereich von IntersectionFn ist ein fall von SetOrClass {nicht} |
| (range RelativeComplementFn SetOrClass) | Merge.kif 5468-5468 | bildbereich von RelativeComplementFn ist ein fall von SetOrClass {nicht} |
| (range UnionFn SetOrClass) | Merge.kif 5431-5431 | bildbereich von UnionFn ist ein fall von SetOrClass {nicht} |
| (rangeSubclass PowerSetFn SetOrClass) | Merge.kif 798-798 | Die werte die PowerSetFn zurueckgibt sind teilkategorien von SetOrClass |
| (subclass Class SetOrClass) | Merge.kif 2136-2136 | Class ist eine teilkategorie von SetOrClass |
| (subclass Set SetOrClass) | Merge.kif 2148-2148 | Set ist eine teilkategorie von SetOrClass |
| (termFormat ChineseLanguage SetOrClass "集或类") | chinese_format.kif 885-885 | |
| (termFormat EnglishLanguage SetOrClass "set or class") | english_format.kif 972-972 | |
| (termFormat FrenchLanguage SetOrClass "ensemble ou classe") | french_format.kif 561-561 | |
| (termFormat Hindi SetOrClass "samUha yaa varga") | terms-hindi.txt 91-91 | |
| (termFormat ItalianLanguage SetOrClass "InsiemeOClasse") | terms-it.txt 94-94 | |
| (termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス") | japanese_format.kif 2246-2246 | |
| (termFormat PortugueseLanguage SetOrClass "Conjunto ou Classe") | portuguese_format.kif 513-513 | |
| (termFormat cz SetOrClass "set or class") | terms-cz.txt 128-128 | |
| (termFormat ro SetOrClass "mulþime sau clasã") | relations-ro.kif 582-582 | |
| (termFormat tg SetOrClass "isang huwego o klase") | terms-tg.txt 95-95 |
| appearance as argument number 3 |
|
|
| (domain ComplementFn 1 SetOrClass) | Merge.kif 5477-5477 | Die Zahl 1 Argument von ComplementFn ist ein fall von SetOrClass %n{nicht} |
| (domain IntersectionFn 1 SetOrClass) | Merge.kif 5455-5455 | Die Zahl 1 Argument von IntersectionFn ist ein fall von SetOrClass %n{nicht} |
| (domain IntersectionFn 2 SetOrClass) | Merge.kif 5456-5456 | Die Zahl 2 Argument von IntersectionFn ist ein fall von SetOrClass %n{nicht} |
| (domain PowerSetFn 1 SetOrClass) | Merge.kif 797-797 | Die Zahl 1 Argument von PowerSetFn ist ein fall von SetOrClass %n{nicht} |
| (domain RelativeComplementFn 1 SetOrClass) | Merge.kif 5466-5466 | Die Zahl 1 Argument von RelativeComplementFn ist ein fall von SetOrClass %n{nicht} |
| (domain RelativeComplementFn 2 SetOrClass) | Merge.kif 5467-5467 | Die Zahl 2 Argument von RelativeComplementFn ist ein fall von SetOrClass %n{nicht} |
| (domain UnionFn 1 SetOrClass) | Merge.kif 5429-5429 | Die Zahl 1 Argument von UnionFn ist ein fall von SetOrClass %n{nicht} |
| (domain UnionFn 2 SetOrClass) | Merge.kif 5430-5430 | Die Zahl 2 Argument von UnionFn ist ein fall von SetOrClass %n{nicht} |
| (domain adjacentOrientation 2 SetOrClass) | Hotel.kif 937-937 | Die Zahl 2 Argument von adjacentOrientation ist ein fall von SetOrClass %n{nicht} |
| (domain cardinality 1 SetOrClass) | Government.kif 436-436 | Die Zahl 1 Argument von cardinality ist ein fall von SetOrClass %n{nicht} |
| (domain lexicon 1 SetOrClass) | engineering.kif 39-39 | Die Zahl 1 Argument von lexicon ist ein fall von SetOrClass %n{nicht} |
| (domainSubclass GeneralizedIntersectionFn 1 SetOrClass) | Merge.kif 5498-5498 | Die Zahl 1 Argument von GeneralizedIntersectionFn ist eine teilkategorie von SetOrClass %n{nicht} |
| (domainSubclass GeneralizedUnionFn 1 SetOrClass) | Merge.kif 5487-5487 | Die Zahl 1 Argument von GeneralizedUnionFn ist eine teilkategorie von SetOrClass %n{nicht} |
| antecedent |
|
|
| (=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 446-450 |
|
| consequent |
|
|
| (=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2137-2150 |
|
| (=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2210-2223 |
|
| (=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2174-2187 |
|
| statement |
|
|
| (domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | Die Zahl 1 Argument von CardinalityFn ist ein fall von die vereinigung von SetOrClass und Collection %n{nicht} |
|
|
|