CardinalityFn - Sigma Knowledge base Browser

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 5502-5504
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 980-981
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5499-5499	域基數, 1 and 聯盟 SetOrClass and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5498-5498	例基數 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5500-5500	範圍基數 and 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 511-511
No TPTP formula. May not be expressible in strict first order.	french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 317-317
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 98-98
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 13227-13227
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13226-13226
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13225-13225
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 202-202
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 99-99

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	例 Entity and 個人賬戶比較多基數卡帕 SymbolicString and SymbolicString 持有 account Entity and 1 例 Entity and 聯名賬戶
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9234-9241	例 GeopoliticalArea and GeopoliticalArea 等於 Integer and 基數 GeopoliticalArea 的 citizenry 等於 Integer and 基數 GeopoliticalArea 的 resident 大於或等於 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average selling price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 410-414	例 SetOrClass and SetOrClass 等於基數 SetOrClass and NonnegativeInteger NonnegativeInteger 是 SetOrClass 的 cardinality

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千裡的 deaths and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 migrants and RealNumber 等於減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於減法 Integer and Integer and RealNumber 等於部 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 828-835	chromosomeSetCount MonoploidChromosomeSet, Collection and Integer 子集合 MonoploidChromosomeSet and Collection 等於 Integer and 基數卡帕 Integer and 子集合 MonoploidChromosomeSet and Collection
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	那只能是 Integer values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 例 Entity and Class 等於基數 Class and Integer
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	例 GeopoliticalArea and 美國城市部分 GeopoliticalArea and 加州等於 GeopoliticalArea and 洛杉磯加利福尼亞州比較多基數洛杉磯加利福尼亞州的 resident and 基數 GeopoliticalArea 的 resident
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	例 GeopoliticalArea and City 部分 GeopoliticalArea and 法國小於或等於基數 GeopoliticalArea 的 resident and 基數巴黎的 resident
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity 等於基數卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString 等於基數卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12241-12247	例 Process and Counting agent Process and CognitiveAgent 患者 Process and Entity entity 知道 CognitiveAgent and 等於基數 Entity and entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例試驗 and 試驗例 TimeInterval and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗期間何時 SymbolicString and TimeInterval and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage 期間何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在試驗期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例試驗 and 試驗例 Entity and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗 and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在試驗
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9556-9560	例 TimeInterval and Month 持續時間 TimeInterval and 測量 Integer and 一天長度等於基數時間構成 TimeInterval and Day and Integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	例 SearchResultsPage and SearchResultsPage 例 List and SRPResults 零件 List and SearchResultsPage 等於部基數卡帕 SymbolicString and 例 SymbolicString and RequestingHyperlink 患者 SymbolicString and entity 目的地 SymbolicString and entity 例 entity and HypertextLink 零件 entity and SearchResultsPage 例 entity and ProductDescriptionPage 例 entity and ViewItemPage and 列表長度 List and qualifying clicks 在 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5395-5411	例幾何圖 and Pyramid 例二維圖 and 多邊形 faceOfFigure 二維圖 and 幾何圖圖的一面一維圖 and 二維圖例 SymbolicString and 三角形 faceOfFigure SymbolicString and 幾何圖圖的一面一維圖 and SymbolicString sideOfIntersection 二維圖, SymbolicString and 一維圖等於基數卡帕一維圖 and 圖的一面一維圖 and 二維圖 and 基數卡帕 SymbolicString and faceOfFigure SymbolicString and 幾何圖
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	例 GeopoliticalArea and 美國國家等於 GeopoliticalArea and 加州比較多基數加州的 resident and 基數 GeopoliticalArea 的 resident
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	例 Collection and Collection 例 CorpuscularObject and HypertextLink Physical 會員 Physical and Collection 例 Physical and AccessingWebPage 零件 Collection and CorpuscularObject Collection 例 Collection and Collection Process 例 Process and RequestingHyperlink 患者 Process and CorpuscularObject 會員 Process and Collection 等於點擊通過 CorpuscularObject 的 rate 在 Collection and 部基數 Collection and 基數 Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	那裡能有最多 %3 values 對於 1% 的參數 2% 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 例 Entity and Class 小於或等於基數 Class and Integer

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.	People.kif 456-469	例年 and 年 Integer 等於 GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 930-939	等於 GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5661-5664	等於基數卡帕 SymbolicString and 圖的一面 SymbolicString and 圈子部門 and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5936-5939	等於基數卡帕 SymbolicString and 圖的一面 SymbolicString and CircularSegment and 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5548-5551	等於基數卡帕 SymbolicString and 圖的一面 SymbolicString and 三角形 and 3
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14286-14286	等於基數 Continent and 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2003-2003	等於基數 NativityMagi and 3
No TPTP formula. May not be expressible in strict first order.	Military.kif 953-964	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33425-33430	等於 OrganismPopulationFn Organism and GeographicArea and 基數卡帕 OrganismI and 例 OrganismI and Organism 位於 OrganismI and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33403-33408	等於 GeopoliticalArea 的 population and 基數卡帕 SymbolicString and 例 SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 991-1004	等於 GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 1965-1965	大於或等於基數 TwelveApostles and 11
No TPTP formula. May not be expressible in strict first order.	Media.kif 1966-1966	小於或等於基數 TwelveApostles and 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

KB Term:			Term intersection

English Word: