CardinalityFn |
appearance as argument number 1 |
(documentation CardinalityFn ChineseLanguage "") | chinese_format.kif 2309-2309 | |
(documentation CardinalityFn EnglishLanguage "(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection.") | Merge.kif 5511-5513 | |
(documentation CardinalityFn JapaneseLanguage "(CardinalityFn ?CLASS) は、SetOrClass ?CLASS内のインスタンスの数または ?CLASS Collection のメンバーの数を返す。") | japanese_format.kif 980-981 | |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | Il numero 1 argomenti di CardinalityFn è un istanza di l' unione di InsiemeOClasse e InsiemeConcreto |
(instance CardinalityFn UnaryFunction) | Merge.kif 5507-5507 | CardinalityFn è un' istanza di FunzioneUnaria |
(range CardinalityFn Integer) | Merge.kif 5509-5509 | rango di CardinalityFn è un'istanza di NumeroIntero |
appearance as argument number 2 |
(format ChineseLanguage CardinalityFn "%1 instance 的数量") | chinese_format.kif 506-506 | |
(format EnglishLanguage CardinalityFn "the number of instances in %1") | english_format.kif 511-511 | |
(format FrenchLanguage CardinalityFn "le nombre d' instances dans %1") | french_format.kif 296-296 | |
(format ItalianLanguage CardinalityFn "il numero di istanzia in %1") | relations-it.txt 41-41 | |
(format JapaneseLanguage CardinalityFn "%1 の instances の数") | japanese_format.kif 2073-2073 | |
(format PortugueseLanguage CardinalityFn "o numero de instancias dentro de %1") | portuguese_format.kif 248-248 | |
(format cb CardinalityFn "ang pananglitan sa %1") | relations-cb.txt 75-75 | |
(format de CardinalityFn "die Zahl Faellen in %1") | relations-de.txt 659-659 | |
(format hi CardinalityFn "%1 ke sadasyon kii sankhyaa") | relations-hindi.txt 83-83 | |
(format ro CardinalityFn "numãrul instances%t{instanþelor} din %1") | relations-ro.kif 317-317 | |
(format sv CardinalityFn "antalet instanser av %1") | relations-sv.txt 324-324 | |
(format tg CardinalityFn "an bilang halimbawa sa %1") | relations-tg.txt 98-98 | |
(termFormat ChineseLanguage CardinalityFn "势函数") | chinese_format.kif 507-507 | |
(termFormat ChineseLanguage CardinalityFn "基数") | domainEnglishFormat.kif 13212-13212 | |
(termFormat ChineseTraditionalLanguage CardinalityFn "基數") | domainEnglishFormat.kif 13211-13211 | |
(termFormat EnglishLanguage CardinalityFn "cardinality") | domainEnglishFormat.kif 13210-13210 | |
(termFormat tg CardinalityFn "tungkulin ng bilang halimbawa") | relations-tg.txt 99-99 |
antecedent |
consequent |
statement |
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 456-469 | Anno è un' istanza di l' anno NumeroIntero ChildrenBornPerWomanFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa |
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 872-881 | AvailableForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(equal (CardinalityFn Continent) 7) |
Merge.kif 14182-14182 | Il numero di istanzia in Continente is uguale a 7 |
(equal (CardinalityFn NativityMagi) 3) |
Media.kif 2003-2003 | Il numero di istanzia in NativityMagi is uguale a 3 |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 895-906 | FitForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn Organismo and AreaGeografica is uguale a il numero di istanzia in la classe descritta da OrganismoI |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 31712-31717 | PopulationFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa |
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11) |
Media.kif 1965-1965 | Il numero di istanzia in TwelveApostles è più grande di o uguale a 11 |
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1966-1966 | Il numero di istanzia in TwelveApostles è minore o uguale a 12 |