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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsDuring
holdsDuring

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2083-2085
No TPTP formula. May not be expressible in strict first order. Merge.kif 3884-3887
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 731-733
No TPTP formula. May not be expressible in strict first order. Merge.kif 3881-3881 持有期間, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 3882-3882 持有期間, 2 and Formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3880-3880 持有期間 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3879-3879 持有期間 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order. english_format.kif 122-122
No TPTP formula. May not be expressible in strict first order. french_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. relations-it.txt 129-129
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1909-1909
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 34-34
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 117-117
No TPTP formula. May not be expressible in strict first order. relations-de.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 101-101
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 264-264
No TPTP formula. May not be expressible in strict first order. Merge.kif 3869-3869 相關的內部概念 時間 and 持有期間
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28353-28353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28352-28352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28351-28351
No TPTP formula. May not be expressible in strict first order. terms-de.txt 42-42
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 265-265

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


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. 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. Merge.kif 17254-17262 持有期間 TimePosition and entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 持有期間 TimePosition and attribute entity and Barefoot 持有期間 TimePosition and entity entity and 穿 entity and entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30145-30153 持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity entity and Clothing 穿 entity and entity
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. Mid-level-ontology.kif 30271-30279 持有期間 TimeInterval and attribute AutonomousAgent and Mute Process Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6231-6244
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Geography.kif 1597-1603
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Media.kif 406-411
No TPTP formula. May not be expressible in strict first order. Media.kif 509-514
No TPTP formula. May not be expressible in strict first order. Merge.kif 7960-7967
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1838-1860
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1862-1884
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1799-1807
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1814-1821
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. Merge.kif 18246-18254

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. 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. 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 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. Economy.kif 1565-1570 GeopoliticalArea 在週期 CurrencyMeasure 對於 TimeIntervalcapital 地區支出 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreacapital 地區支出
No TPTP formula. May not be expressible in strict first order. Economy.kif 3661-3666 TimeInterval CurrencyMeasurecurrency 交換 每美元 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure美國美元currency 交換匯率
No TPTP formula. May not be expressible in strict first order. Economy.kif 3668-3673 UnitOfCurrency 對於 TimeInterval 在週期 CurrencyMeasurecurrency 交換匯率 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure UnitOfCurrencycurrency 交換匯率
No TPTP formula. May not be expressible in strict first order. Economy.kif 2819-2824 GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasureeconomic 間贈補助 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreaeconomic 捐贈補助
No TPTP formula. May not be expressible in strict first order. Economy.kif 2859-2864 GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 總共收到的 economic 補助 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalArea 總共收到的 economic 補助
No TPTP formula. May not be expressible in strict first order. Economy.kif 2056-2061 GeopoliticalArea 是 對於 RealNumber TimeInterval 在週期 發電 從來源的 electricity 分支 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea is 對於 RealNumber 從來源 發電electricity 分支
No TPTP formula. May not be expressible in strict first order. Economy.kif 2549-2554 GeopoliticalArea PositiveRealNumber TimeInterval 在週期 GeopoliticalArea 由部分 export 夥伴 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由部分 GeopoliticalArea export 夥伴
No TPTP formula. May not be expressible in strict first order. Economy.kif 2511-2516 GeopoliticalArea PositiveInteger TimeInterval 在週期 GeopoliticalArea 由階級 export 夥伴 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea export 夥伴
No TPTP formula. May not be expressible in strict first order. Economy.kif 2387-2392 AutonomousAgent 對於 TimeInterval 在週期 AutonomousAgent export 夥伴 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent AutonomousAgentexport 夥伴
No TPTP formula. May not be expressible in strict first order. Economy.kif 2775-2780 GeopoliticalArea 是 對於 TimeInterval 在週期 CurrencyMeasureexternal 債務 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreaexternal 債務
No TPTP formula. May not be expressible in strict first order. Economy.kif 1279-1284 RealNumber 是對於 GeopoliticalArea 在週期 RealNumberhighest 平分家庭收入 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and RealNumber GeopoliticalAreahighest 平分家庭收入
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 持有期間 TimePosition and entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 持有期間 TimePosition and attribute entity and Barefoot 持有期間 TimePosition and entity entity and 穿 entity and entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30145-30153 持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity entity and Clothing 穿 entity and entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity

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. 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. Media.kif 1970-1978 TimeInterval TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity

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


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 獨立國家
No TPTP formula. May not be expressible in strict first order. Media.kif 2533-2536 持有期間 未來 TimePosition and TimePosition and 3 and June and 2006 "Montenegro" and Montenegro
No TPTP formula. May not be expressible in strict first order. Media.kif 2546-2550 持有期間 未來 TimePosition and TimePosition and 3 and June and 2006 塞爾維亞和黑山 and 獨立國家
No TPTP formula. May not be expressible in strict first order. Government.kif 2791-2794 持有期間 眼前的未來 TimePosition and TimePosition and 1 and October and 1992 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2769 持有期間 眼前的未來 TimePosition and TimePosition and 1996 法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Media.kif 1920-1920 持有期間 何時 JesusOfNazareth and 位於 JesusOfNazareth and 巴勒斯坦


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