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

Formal Language: 



KB Term:  Term intersection
English Word: 

  equal

Sigma KEE - equal
equal

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1391-1392
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 48-49
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 53-54

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 297-297
No TPTP formula. May not be expressible in strict first order. english_format.kif 302-302
No TPTP formula. May not be expressible in strict first order. french_format.kif 171-171
No TPTP formula. May not be expressible in strict first order. relations-it.txt 96-96
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1991-1991
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 179-179
No TPTP formula. May not be expressible in strict first order. relations-de.txt 387-387
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 136-136
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 191-191
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 178-178
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 205-205
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 298-298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22317-22317
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22316-22316
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 206-206

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4768-4779 等於 絕對值 RealNumber and NonnegativeRealNumber RealNumber and RealNumber NonnegativeRealNumber and RealNumber RealNumber and NonnegativeRealNumber 等於 RealNumber and NonnegativeRealNumber RealNumber and NegativeRealNumber 等於 NonnegativeRealNumber and 減法 0.0 and RealNumber
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 account 金融賬戶
No TPTP formula. May not be expressible in strict first order. People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 and Integer 等於 GeopoliticalArea 每一千的 births and RealNumber 等於 GeopoliticalAreapopulation 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 等於 GeopoliticalAreapopulation 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 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 Listaverage
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 等於 GeopoliticalAreapopulation 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 52-64 and Integer 等於 GeopoliticalAreapopulation 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 TimePosition and IntegerP 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 持有期間 TimePosition and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and RealNumber and RealNumber 等於 減法 RealNumber and 1 and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 等於 GeopoliticalAreamale 對母性比率 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. Weather.kif 1508-1513 等於 RealNumber and StandardDeviationFn List 等於 RealNumber and 平方根 VarianceFn List
No TPTP formula. May not be expressible in strict first order. Weather.kif 1702-1708 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3034-3042 金融工具 金融工具Price and CurrencyMeasure 協議 and 選項 金融工具 協議underlier 金融工具 是 對於 AutonomousAgentprice 金融工具Price CurrencyMeasure 協議strike 價錢 等於 金融工具Price and CurrencyMeasure AutonomousAgent 協議 at 的錢
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14079-14089
No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2693-2704
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2665-2676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
No TPTP formula. May not be expressible in strict first order. Merge.kif 8086-8094
No TPTP formula. May not be expressible in strict first order. Media.kif 2889-2895

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4768-4779 等於 絕對值 RealNumber and NonnegativeRealNumber RealNumber and RealNumber NonnegativeRealNumber and RealNumber RealNumber and NonnegativeRealNumber 等於 RealNumber and NonnegativeRealNumber RealNumber and NegativeRealNumber 等於 NonnegativeRealNumber and 減法 0.0 and RealNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26329-26340 Process and Photocopying 患者 Process and 內容承載物理 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 等於 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order. People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 and Integer 等於 GeopoliticalArea 每一千的 births and RealNumber 等於 GeopoliticalAreapopulation 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 等於 GeopoliticalAreapopulation 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 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 Listaverage
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 等於 GeopoliticalAreapopulation 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 52-64 and Integer 等於 GeopoliticalAreapopulation 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 TimePosition and IntegerP 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 持有期間 TimePosition and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and RealNumber and RealNumber 等於 減法 RealNumber and 1 and RealNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 751-762 attribute Object and 和弦音樂 Process Process Object and MakingMusic Process and MakingMusic Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 RealNumber Listaverage List PositiveInteger 等於 列表長度 List and 列表長度 List 等於 清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order. People.kif 1528-1539 百分之 RealNumber 信仰團體 的人相信 信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體 會員 Physical and Collection RealNumber1 是 Collectionmember 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collectionmember 計數 等於 RealNumber and 100 and RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order. Cars.kif 1928-1933 compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and RealNumber and UnitOfMeasureAX
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 等於 GeopoliticalAreamale 對母性比率 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. Weather.kif 1508-1513 等於 RealNumber and StandardDeviationFn List 等於 RealNumber and 平方根 VarianceFn List
No TPTP formula. May not be expressible in strict first order. Weather.kif 1702-1708 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order. People.kif 1547-1558 RealNumber percent 的人在 GeographicArea EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collectionmember 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collectionmember 計數 等於 RealNumber and 100 and RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1889 大於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30223-30236 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 Entity2 and AutonomousAgent Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Processinvolved Entity2 是事件 Processinvolved
No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6478-6488 Entity and 共軛物質 Object Object and Process Object and CompoundSubstance Object and CompoundSubstance 等於 Object and Object Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 3488-3494 Entity and 半球 等於 Entity and 北半球 等於 Entity and 南半球 等於 Entity and 東半球 等於 Entity and 西半球
No TPTP formula. May not be expressible in strict first order. People.kif 1566-1577 百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language SentientAgentspeaks 語言 RealNumber1 是 Collectionmember 計數 位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collectionmember 計數 等於 RealNumber and 100 and RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 小於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 少於 RealNumber and RealNumber

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 933-946 等於 GeopoliticalArea 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 等於 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. Mid-level-ontology.kif 13333-13336 RealNumber 等於 測量 RealNumber and OunceMass and 測量 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Merge.kif 4736-4737 Integer 等於 前任 Integer and 減法 Integer and 1
No TPTP formula. May not be expressible in strict first order. Merge.kif 4720-4721 Integer 等於 接班人 Integer and 加成 Integer and 1
No TPTP formula. May not be expressible in strict first order. Merge.kif 3037-3040 @ROW Entity 等於 列表長度 名單 @ROW and entity and 接班人 列表長度 名單 @ROW
No TPTP formula. May not be expressible in strict first order. Merge.kif 3042-3046 @ROW Entity 等於 清單順序 名單 @ROW and Entity and 列表長度 名單 @ROW and Entity and Entity
No TPTP formula. May not be expressible in strict first order. Government.kif 2915-2915 等於 大六 and 6人小組

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5265-5265 等於 ArcCosineFn 餘弦 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. Merge.kif 5275-5275 等於 ArcSineFn 正弦 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. Merge.kif 5255-5255 等於 ArcTangentFn 切線 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 等於 GeopoliticalAreaavailable 軍事服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14182-14182 等於 基數 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 895-906 等於 GeopoliticalAreafit 對於軍服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 子類 entity and MilitaryProcess entity SymbolicStringfit 軍事服務 entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2008-2008 等於 測量 1 and 千瓦時 and 測量 3.6 and 焦耳
No TPTP formula. May not be expressible in strict first order. Economy.kif 2009-2009 等於 測量 1 and 千瓦時 and 測量 3600000.0 and 焦耳
No TPTP formula. May not be expressible in strict first order. Merge.kif 7112-7114 等於 測量 1 and 週持續時間 and 測量 7 and 一天長度
No TPTP formula. May not be expressible in strict first order. Merge.kif 7139-7141 等於 測量 1 and 年持續時間 and 測量 365 and 一天長度
No TPTP formula. May not be expressible in strict first order. Geography.kif 382-382 等於 測量 1.0 and 圓周角度 and 測量 60.0 and 弧分
No TPTP formula. May not be expressible in strict first order. Geography.kif 401-401 等於 測量 1.0 and 弧分 and 測量 60.0 and 弧秒
No TPTP formula. May not be expressible in strict first order. Geography.kif 3842-3842 等於 測量 1.0 and 推測 and 測量 6.0 and 腳長
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13601-13603 等於 測量 1.0 and 公噸 and 測量 2205.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Geography.kif 3865-3867 等於 測量 1.0 and 海裡 and 測量 1852.0 and 儀表
No TPTP formula. May not be expressible in strict first order. Geography.kif 3861-3863 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13696-13700 等於 測量 1.0 and 平方英里 and 測量 1.0 and 英里測量 1.0 and 英里per
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13706-13710 等於 測量 1.0 and 方碼 and 測量 1.0 and 院子長度測量 1.0 and 院子長度per
No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 等於 測量 RealNumber and 弧分 and 測量 乘法 60.0 and RealNumber and 弧秒
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 等於 測量 RealNumber and 圓周角度 and 測量 乘法 60.0 and RealNumber and 弧分
No TPTP formula. May not be expressible in strict first order. Merge.kif 7151-7153 等於 測量 RealNumber and amu and 測量 乘法 RealNumber and 1.6605402E-24 and 公克
No TPTP formula. May not be expressible in strict first order. Merge.kif 7173-7175 等於 測量 RealNumber and and 測量 乘法 RealNumber and 1.0E-10 and 儀表
No TPTP formula. May not be expressible in strict first order. Merge.kif 7367-7369 等於 測量 RealNumber and 圓周角度 and 測量 乘法 RealNumber and Pi and 180.0 and 弧度
No TPTP formula. May not be expressible in strict first order. Merge.kif 7353-7355 等於 測量 RealNumber and 英國熱量單位 and 測量 乘法 RealNumber and 1055.05585262 and 焦耳

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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