  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageChinesehLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - CardinalityFn
 CardinalityFn

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2309-2309 No TPTP formula. May not be expressible in strict first order. Merge.kif 5222-5224 No TPTP formula. May not be expressible in strict first order. Merge.kif 5219-5219 The number 1 argument of cardinality is an instance of the union of set or class and collection No TPTP formula. May not be expressible in strict first order. Merge.kif 5218-5218 Cardinality is an instance of unary function No TPTP formula. May not be expressible in strict first order. Merge.kif 5220-5220 The range of cardinality is an instance of integer

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 506-506 No TPTP formula. May not be expressible in strict first order. english_format.kif 514-514 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 507-507 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13147-13147 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13146-13146 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13145-13145

 antecedent No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 951-955 An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3442-3462 If a collection is an instance of collection and a currency measure is an instance of currency measure and an integer is an instance of real number and the currency measure is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string,then the average price of the collection is equal to the currency measure and the integer No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3485-3505 If a collection is an instance of collection and a currency measure is an instance of currency measure and an integer is an instance of real number and the currency measure is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string,then the average selling price of the collection is equal to the currency measure and the integer No TPTP formula. May not be expressible in strict first order. Government.kif 435-439 If a set or class is an instance of set or class and the number of instances in the set or class is equal to a nonnegative integer,then the nonnegative integer is a cardinality of the set or class

 consequent No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list,then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list,then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list,then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list No TPTP formula. May not be expressible in strict first order. People.kif 221-238 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number No TPTP formula. May not be expressible in strict first order. People.kif 174-202 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth quantity and the fourth quantity and the third quantity is equal to the real number No TPTP formula. May not be expressible in strict first order. Media.kif 2134-2147 If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate,then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is equal to the integer No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817 If a geopolitical area is an instance of american city and the geopolitical area is a part of california and the geopolitical area is not equal to los angeles california,then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of the geopolitical area No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65 If a geopolitical area is an instance of city and the geopolitical area is a part of france,then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106 If a collection is an instance of collection and for all an object if the object is a member of the collection,then the object is an instance of financial transaction,then the number of instances in the class described by a symbolic string is equal to number of items purchased in the collection No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3125-3142 If a collection is an instance of collection and for all an object if the object is a member of the collection,then the object is an instance of web listing,then the number of instances in the class described by a symbolic string is equal to number of bids in the collection No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3074 If a collection is an instance of collection and for all an object if the object is a member of the collection,then the object is an instance of web listing,then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection No TPTP formula. May not be expressible in strict first order. Merge.kif 11269-11275 If a process is an instance of counting and a cognitive agent is an agent of the process and an entity is a patient of the process,then there exists another entity such that the cognitive agent knows the number of instances in the entity is equal to the other entity No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3297-3316 If an experimenting is an instance of experimenting and a time interval is an instance of time interval,then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3258-3275 If an experimenting is an instance of experimenting and an entity is an instance of time interval,then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting No TPTP formula. May not be expressible in strict first order. Merge.kif 8905-8909 If a time interval is an instance of month and duration of the time interval is an integer day duration(s),then the number of instances in decomposition of the time interval into days is equal to the integer No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3923-3941 If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page,then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 897-901 If a geopolitical area is an instance of american state and the geopolitical area is not equal to california,then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3536-3559 If a collection is an instance of collection and a hyperlink is an instance of hyperlink and for all an object the object is a member of another collection and the object is an instance of AccessingWebPage and the other collection is a component of the hyperlink,then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the hyperlink is a patient of the process,then the process is a member of the third collection and the rate of clicking through the hyperlink in the collection is equal to the number of instances in the third collection and the number of instances in the collection No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3871-3906 If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all an object if the object is a member of the collection,then the object is an instance of AccessingWebPage and for all a process, an agent,, , another object,, , the process and a third object if the agent is an instance of human and the process is an instance of buying and the other object is an instance of AccessingWebPage and the third object is an instance of WebPage and the other object is a member of the collection and the other object ends up at the third object and the agent is an agent of the process and the agent is an agent of the other object and the time of existence of the process takes place during the time of existence of the other object and the third object is an instrument for the process,then the process is a member of the other collection,then purchases made in the collection during a time interval is equal to the number of instances in the class described by an entity_IN_INTERVAL and the number of instances in the class described by another entity_IN_INTERVAL No TPTP formula. May not be expressible in strict first order. Media.kif 2205-2218 If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate,then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is less than or equal to the integer No TPTP formula. May not be expressible in strict first order. Media.kif 2170-2183 If there are at least an integer values to argument a positive integer of a relation and the relation is an instance of predicate,then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is greater than or equal to the integer No TPTP formula. May not be expressible in strict first order. Merge.kif 12764-12776 If a positive integer is an atomic number of a kind of elemental substance,then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom,then the positive integer is equal to the number of instances in the class described by a symbolic string Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 statement No TPTP formula. May not be expressible in strict first order. Military.kif 867-876 The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string No TPTP formula. May not be expressible in strict first order. Merge.kif 13161-13161 The number of instances in continent is equal to 7 No TPTP formula. May not be expressible in strict first order. Media.kif 2005-2005 The number of instances in NativityMagi is equal to 3 No TPTP formula. May not be expressible in strict first order. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string No TPTP formula. May not be expressible in strict first order. Military.kif 890-901 The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string No TPTP formula. May not be expressible in strict first order. People.kif 49-54 The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string No TPTP formula. May not be expressible in strict first order. Military.kif 928-941 The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string No TPTP formula. May not be expressible in strict first order. Media.kif 1967-1967 The number of instances in TwelveApostles is greater than or equal to 11 No TPTP formula. May not be expressible in strict first order. Media.kif 1968-1968 The number of instances in TwelveApostles is less than or equal to 12 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