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

Formal Language: 



KB Term:  Term intersection
English Word: 

  and

Sigma KEE - and
and

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7410-7410
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7409-7409
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7408-7408

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1018-1022 CognitiveAgent 持有 account 金融賬戶 CognitiveAgent and Corporation 金融賬戶 and 企業帳戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 CognitiveAgent 持有 account 金融賬戶 CognitiveAgent and Human 金融賬戶 and 個人賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 TimeInterval 金融賬戶agreement 週期 飾面 Day and TimeInterval Day 金融賬戶maturity 日期
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1462-1467 高度 飛機, SelfConnectedObject and 高度測量 表面 SelfConnectedObject and 行星地球 飛機 and 飛機 高度測量absolute 飛機 的高度
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. 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 30178-30188 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity entity and Clothing covers entity and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity
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. Geography.kif 7524-7530 SelfConnectedObject and LiquidDrop SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 少於 500.0 and RealNumber SelfConnectedObject and Droplet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1789-1793 Entity and WindowScrolling Entity and UserSignifiedGraphicalAction Entity and WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 Process and 退出 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶currency Process Process and 罰款 目的地 Process and 金融賬戶currency 原因 Process and Process 金融賬戶liqudity高流動性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 Entityair 溫度 測量 29.530 and 英寸汞 Entitybarometric 壓力
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 24790-24795 位於 PostalPlace and PostcodeArea PostalPlace and PostalPlace PostcodeArea and PostcodeArea PostalPlace 是在 post code PostcodeArea

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 30178-30188 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity entity and Clothing covers entity and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity
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. Geography.kif 7440-7451 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 Entityair 溫度 測量 29.530 and 英寸汞 Entitybarometric 壓力
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. Economy.kif 1517-1522 GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasureannual 地區消費 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreaannual 地區消費
No TPTP formula. May not be expressible in strict first order. Economy.kif 1488-1493 GeopoliticalArea annual 對於 TimeInterval 在週期 CurrencyMeasure 的地區收入 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreaannual 地區收入
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15000-15004 attribute AutonomousAgent and 識字屬性 有技巧 Reading and AutonomousAgent 有技巧 Writing and AutonomousAgent
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. Geography.kif 4711-4720 attribute Object and 公海 Physical RealNumber Object and SaltWaterArea Object and 內陸水域 距離 Physical, Object and 測量 RealNumber and 海裡 比較多 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23046-23051 女人 Humanaunt Human 女人 Humansister Human and Human
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. FinancialOntology.kif 3943-3948 BankFinancialOrganization 金融賬戶bank 帳號 金融賬戶 金融賬戶 and 金融賬戶 金融賬戶 是被 BankFinancialOrganization held
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. Economy.kif 1565-1570 GeopoliticalArea 在週期 CurrencyMeasure 對於 TimeIntervalcapital 地區支出 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreacapital 地區支出

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. Government.kif 1241-1248 包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING and 獨家男性選舉權
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER and 選民公民身份要求
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE and 普選法
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE and 強制選舉法
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS ?SAMPLE and ?SUBSTANCE ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X and PaperShredder ?CUT and Cutting 儀器 ?CUT and ?X ?PAPER and 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ
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. 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. 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 等於 GeopoliticalAreapopulation 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 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. Medicine.kif 4559-4564 Process Entity Process and Disseminating agent Process and Netflix 患者 Process and Entity Entity and MotionPicture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 Process Process and 電影製作 agent Process and Netflix
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4590-4593 CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2453-2457 TimePosition TimePosition and 1976 持有期間 TimePosition and 斯蒂夫·沃茲尼亞克史蒂芬·賈伯斯coworker
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2441-2445 TimePosition TimePosition and 2002 持有期間 TimePosition and 提姆·庫克史蒂芬·賈伯斯coworker
No TPTP formula. May not be expressible in strict first order. Cars.kif 5109-5112 Object 子類 Object and HandToolBox manufacturer Object and SortimoCorp
No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 TimeInterval TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 有目的 iBookstore and ?D ?D and 下載 儀器 ?D and iBookstore ?T and Text objectTransferred ?D and ?T
No TPTP formula. May not be expressible in strict first order. Media.kif 2501-2504 持有期間 未來 TimePosition and Serbia and 歐洲國家 TimePosition and 5 and June and 2006
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 持有期間 未來 TimePosition and Serbia and 獨立國家 TimePosition and 5 and June and 2006
No TPTP formula. May not be expressible in strict first order. Media.kif 2506-2509 持有期間 未來 TimePosition and "Republic of Serbia" and Serbia TimePosition and 5 and June and 2006
No TPTP formula. May not be expressible in strict first order. Media.kif 2528-2531 持有期間 未來 TimePosition and TimePosition and 3 and June and 2006 Montenegro and 歐洲國家
No TPTP formula. May not be expressible in strict first order. Media.kif 2523-2526 持有期間 未來 TimePosition and TimePosition and 3 and June and 2006 Montenegro and 獨立國家

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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