Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KappaFn
KappaFn

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 5577-5585
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 5573-5573 域 卡帕, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Merge.kif 5574-5574 域 卡帕, 2 and Formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 5571-5571 例 卡帕 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 5572-5572 例 卡帕 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5575-5575 範圍 卡帕 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 32153-32153
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 32152-32152
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32151-32151
No TPTP formula. May not be expressible in strict first order. terms-de.txt 203-203

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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3282-3302

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


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