YearDuration - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7127-7128
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7126-7126	例年持續時間 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7125-7125	例年持續時間 and UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8810-8810	相關的內部概念年 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63774-63774	相關的內部概念年 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63773-63773	相關的內部概念年 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63772-63772	相關的內部概念年 and 年持續時間

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25543-25557	持有期間 TimeInterval and attribute AutonomousAgent and Menopausal 等於 RealNumber and 減法測量 1 and 年持續時間 and 開始 TimeInterval 等於 TimeInterval and 時間間隔 TimeInterval and 開始 TimeInterval Process 例 Process and 經期體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1037-1046	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀年齡 AutonomousAgent and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1024-1035	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 965-974	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀年齡 AutonomousAgent and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 952-963	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 335-341	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間比較多 RealNumber and 12 少於 RealNumber and 20 持有期間 TimePosition and 例 Entity and 青少年
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 212-218	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18 持有期間 TimePosition and 例 Entity and 人類成人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 262-267	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間少於 RealNumber and 18 持有期間 TimePosition and 例 Entity and 人類青年
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 385-390	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間小於或等於 RealNumber and 1 持有期間 TimePosition and 例 Entity and 人類寶貝
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 304-311	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間小於或等於 RealNumber and 14 持有期間 TimePosition and 例 Entity and 人類的孩子
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1511-1516	例協議 and 銀行定期貸款 TimeInterval 是協議的 agreement 週期持續時間 TimeInterval and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Military.kif 910-918	測量 RealNumber and 年持續時間是 GeopoliticalArea 的 military 年紀 GeopoliticalArea 是軍事組織的 military 區域會員 Physical and 軍事組織年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Military.kif 898-908	測量 RealNumber and 年持續時間是 GeopoliticalArea 的 military 年紀 GeopoliticalArea 是軍事組織的 military 區域會員 Physical and 軍事組織 RealNumber 年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法持有期間何時 Process and 年齡 CognitiveAgent and 測量 RealNumber and 年持續時間比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record 持有期間何時 Process and 年齡 CognitiveAgent and 測量 entity and 年持續時間比較多 entity and RealNumber attribute 協議 and 合法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1138-1151	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election Process 例 Process and 選舉的 voting agent Process and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1082-1092	次提案普選法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1014-1022	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object 年齡 Object and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1002-1012	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 942-950	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object 年齡 Object and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 930-940	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1078-1082	Human 是 WebSite 的 underage user 年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 186-192	持有期間 TimePosition and 例 entity and 人類成人年齡 entity and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 368-373	持有期間 TimePosition and 例 entity and 人類寶貝年齡 entity and 測量 RealNumber and 年持續時間小於或等於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 287-292	持有期間 TimePosition and 例 entity and 人類的孩子年齡 entity and 測量 RealNumber and 年持續時間小於或等於 RealNumber and 14

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.	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 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.	Mid-level-ontology.kif 20306-20315	attribute Position and 大學新生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 少於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20321-20331	attribute Position and 大學三年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 2 少於 RealNumber and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20337-20347	attribute Position and 大學高年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 3 少於 RealNumber and 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20353-20363	attribute Position and 大學二年級學生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 1 少於 RealNumber and 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1024-1035	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 952-963	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22771-22801	例 Proposition and 爭論例 Process and Reasoning 例 Proposition and Archeology 次提案 Proposition and Proposition 實現 Process and Proposition Process entity, Physical, RealNumber, entity and entity 例 Process and 發現例 Physical and Object 患者 Process and Physical 參照 Process and Process 早期何時 Process and 何時 Process 年齡 Physical and 測量 RealNumber and 年持續時間比較多 RealNumber and 50 持有期間不久的過去何時 Process and 表面 entity and entity 例 entity and 水體方位 Physical, entity and 下面表面 entity and entity 例 entity and LandArea 方位 Physical, entity and 下面
No TPTP formula. May not be expressible in strict first order.	Military.kif 898-908	測量 RealNumber and 年持續時間是 GeopoliticalArea 的 military 年紀 GeopoliticalArea 是軍事組織的 military 區域會員 Physical and 軍事組織 RealNumber 年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	HotelReservation 是對於 Integer seniors AutonomousAgent fulfills HotelReservation Collection RealNumber 例 Collection and 一群人 Physical 會員 Physical and Collection 例 Physical and 人類成人年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 60 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法持有期間何時 Process and 年齡 CognitiveAgent and 測量 RealNumber and 年持續時間比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6462-6473	sheddingLeaves Plant and PlantLeaf 例 Plant and DeciduousTree 例 PlantLeaf and PlantLeaf Process Process 子類 Process and Removing 頻率 Process and 年持續時間例 Process and Process 起源 Process and Plant 患者 Process and PlantLeaf
No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 授予義務 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1002-1012	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 930-940	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4079-4081	等於 TimeInterval and AutonomousAgent 和年的 fiscal 開始年分持續時間 TimeInterval and 測量 1 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15064-15068	等於 RealNumber and 乘法 1 and RealNumber 等於測量 RealNumber and MillenniumDuration and 測量乘法 RealNumber and 1000 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20642-20646	等於 RealNumber and 乘法 1 and RealNumber 等於測量 RealNumber and CenturyDuration and 測量乘法 RealNumber and 100 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8829-8833	等於 RealNumber and 乘法 1 and RealNumber 等於測量 RealNumber and DecadeDuration and 測量乘法 RealNumber and 10 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-383	持有期間 TimePosition and 例 entity and 人類寶貝 Entity 持有期間 TimePosition and 年齡 entity and Entity 例 Entity and 間隔測量 0 and 年持續時間 and 測量 1 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 194-202	持有期間 TimePosition and 例 entity and 人類成人 Entity 持有期間 TimePosition and 年齡 entity and Entity 例 Entity and 間隔測量 18 and 年持續時間 and 測量 120 and 年持續時間

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.	Government.kif 1054-1065	包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?AGENT and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1122-1136	包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?VOTER and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER and 強制選舉法
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7130-7132	等於測量 1 and 年持續時間 and 測量 365 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

KB Term:			Term intersection

English Word: