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 | O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao |
(instance CardinalityFn UnaryFunction) | Merge.kif 5507-5507 | CardinalityFn e' uma instancia de funcao Unaria |
(range CardinalityFn Integer) | Merge.kif 5509-5509 | O contra-dominio de CardinalityFn e' uma instancia de Numero Inteiro |
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 | Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
(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 Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3) |
Mid-level-ontology.kif 4893-4896 | O numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 3 |
(equal (CardinalityFn Continent) 7) |
Merge.kif 14204-14204 | O numero de instancias dentro de Continente e' igual a 7 |
(equal (CardinalityFn NativityMagi) 3) |
Media.kif 2003-2003 | O numero de instancias dentro de NativityMagi e' igual 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 Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 31730-31735 | OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 31708-31713 | PopulationFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
(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 Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11) |
Media.kif 1965-1965 | O numero de instancias dentro de TwelveApostles e' maior ou igual a 11 |
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1966-1966 | O numero de instancias dentro de TwelveApostles e' menor ou igual a 12 |