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 7136-7137
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 7135-7135	例年持續時間 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7134-7134	例年持續時間 and UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8740-8740	相關的內部概念年 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63751-63751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63750-63750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63749-63749

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	持有期間 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 1075-1084	例選舉 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 1062-1073	例選舉 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 1003-1012	例選舉 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 990-1001	例選舉 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 342-348	例 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 219-225	例 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 269-274	例 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 392-397	例 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 311-318	例 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 1497-1502	例協議 and 銀行定期貸款 TimeInterval 是協議的 agreement 週期持續時間 TimeInterval and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Military.kif 852-860	測量 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 840-850	測量 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 1176-1189	次提案強制選舉法 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 1120-1130	次提案普選法 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 1052-1060	測量 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 1040-1050	測量 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 980-988	測量 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 968-978	測量 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 193-199	持有期間 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 375-380	持有期間 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 294-299	持有期間 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 18728-18737	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 18743-18753	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 18759-18769	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 18775-18785	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 1132-1152	公民 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 1062-1073	例選舉 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 990-1001	例選舉 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 21147-21177	例 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 840-850	測量 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 6393-6404	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 1211-1231	次提案強制選舉法 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 1040-1050	測量 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 968-978	測量 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 3744-3746	等於 TimeInterval and AutonomousAgent 和年的 fiscal 開始年分持續時間 TimeInterval and 測量 1 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13683-13687	等於 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 19064-19068	等於 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 8759-8763	等於 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 382-390	持有期間 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 201-209	持有期間 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 1092-1103	包含信息 ?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 1160-1174	包含信息 ?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 7139-7141	等於測量 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: