KappaFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2318-2322
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5586-5594
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 991-995
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5582-5582	域卡帕, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5583-5583	域卡帕, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5580-5580	例卡帕 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5581-5581	例卡帕 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5584-5584	範圍卡帕 and Class

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.	english_format.kif 513-513
No TPTP formula. May not be expressible in strict first order.	french_format.kif 297-297
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 157-157
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2074-2074
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 249-249
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 662-662
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 196-196
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 318-318
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 325-325
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 315-315
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32125-32125
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 509-509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32124-32124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32123-32123

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.	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

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.	Transportation.kif 182-189	LengthMeasure 是 GeographicArea 的軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 寬軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 712-719	LengthMeasure 是 GeographicArea 的原油管線 length length 卡帕 SymbolicString and 例 SymbolicString and 原油管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 210-217	LengthMeasure 是 GeographicArea 的雙軌規格 length length 卡帕 SymbolicString and 例 SymbolicString and DualGaugeRailway 位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 126-133	LengthMeasure 是 GeographicArea 的電場軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 電氣化鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 568-575	LengthMeasure 是 GeographicArea 的高速公路系統 length length 卡帕 SymbolicString and 例 SymbolicString and 高速公路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	LengthMeasure 是 GeographicArea 的多軌鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 多軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 237-244	LengthMeasure 是 GeographicArea 的短規格鐵路的 length length 卡帕 SymbolicString and 例 SymbolicString and 窄軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 735-742	LengthMeasure 是 GeographicArea 的天然瓦斯管線的 length length 卡帕 SymbolicString and 例 SymbolicString and 天然氣管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 542-549	LengthMeasure 是 GeographicArea 的鋪設鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 浮出水面的巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 758-765	LengthMeasure 是 GeographicArea 的石油產品管線 length length 卡帕 SymbolicString and 例 SymbolicString and 石油產品管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 265-272	LengthMeasure GeographicArea 的標準規格管線 length length 卡帕 SymbolicString and 例 SymbolicString and 標準軌距鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	LengthMeasure 是 GeographicArea 的未分類規格軌道 length length 卡帕 SymbolicString and 位於 SymbolicString and GeographicArea 例 SymbolicString and 聯盟標準軌距鐵路 and 聯盟寬軌鐵路 and 聯盟 DualGaugeRailway and 窄軌鐵路 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 601-608	LengthMeasure 是 GeographicArea 的未鋪設高速公路 length length 卡帕 SymbolicString and 例 SymbolicString and 沒有鋪面的巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	GeographicArea 是對於 NonnegativeInteger 在地區延期機場有著鋪設跑道的 total 設施類別 SymbolicString entity NonnegativeInteger 是卡帕 SymbolicString and 例 SymbolicString and 飛機場例 entity and 鋪好的跑道部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1221-1228	GeographicArea 是對於 NonnegativeInteger 在地區 Class 的 total 設施類別 NonnegativeInteger 是卡帕 SymbolicString and 例 SymbolicString and Class 位於 SymbolicString and GeographicArea 的 cardinality
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	LengthMeasure 是 GeographicArea 的 total 高速公路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	LengthMeasure 是 GeographicArea 的 total 鐵路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 鐵路位於 SymbolicString and GeographicArea and LengthMeasure

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 872-881	等於 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.	Military.kif 895-906	等於 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 31734-31739	等於 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 31712-31717	等於 GeopoliticalArea 的 population and 基數卡帕 SymbolicString and 例 SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	等於 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

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: