TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2635-2636
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7521-7522
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1350-1351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7519-7519	域年齡, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7518-7518	例年齡 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7516-7516	例年齡 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7517-7517	子關係年齡 and 測量

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order.	english_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.	french_format.kif 370-370
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 21-21
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2104-2104
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 800-800
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 66-66
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 392-392
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 411-411
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 58-58
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5795-5795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5794-5794
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 59-59

antecedent

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 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.	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.	Economy.kif 4962-4968	例 Object and 羊肉部分 Object and Object 例 Object and 羊年齡 Object and 測量 RealNumber and 月持續時間大於或等於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	例 TimePoint and TimePoint 持有期間 TimePoint and 年齡 Physical and TimeDuration 持續時間時間間隔開始何時 Physical and TimePoint and TimeDuration
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.	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 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.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 323-330	持有期間 TimePosition and 例 entity and 青少年年齡 entity and 測量 RealNumber and 年持續時間比較多 RealNumber and 12 少於 RealNumber and 20
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 252-257	持有期間 TimePosition and 例 entity and 人類青年年齡 entity and 測量 RealNumber and 年持續時間少於 RealNumber and 18

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.	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.	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.	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 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 301-309	持有期間 TimePosition and 例 entity and 人類的孩子 Entity 持有期間 TimePosition and 年齡 entity and Entity 例 Entity and 間隔測量 0 and 年持續時間 and 測量 14 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 259-267	持有期間 TimePosition and 例 entity and 人類青年 Entity 持有期間 TimePosition and 年齡 entity and Entity 例 Entity and 間隔測量 0 and 年持續時間 and 測量 17 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 332-340	持有期間 TimePosition and 例 entity and 青少年 Entity 持有期間 TimePosition and 年齡 entity and Entity 例 Entity and 間隔測量 13 and 年持續時間 and 測量 19 and 年持續時間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16248-16257	例 Collection and AgeGroup Physical Physical, TimeDuration and TimeDuration 會員 Physical and Collection 會員 Physical and Collection 年齡 Physical and TimeDuration 年齡 Physical and TimeDuration 等於 TimeDuration and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 405-411	Object 是 Object 的 older RealNumber RealNumber and UnitOfMeasure 年齡 Object and 測量 RealNumber and UnitOfMeasure 年齡 Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1191-1209	次提案強制選舉法 and GeopoliticalArea 的 regional 法律授予義務 entity entity, entity and entity 公民 entity and GeopoliticalArea 測量 entity and 年持續時間是 GeopoliticalArea 的 suffrage 最小年紀年齡 entity and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and GeopoliticalArea 的 election entity 例 entity and entity 的 voting agent entity and entity , GeopoliticalArea 的 regional 法律 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1106-1118	次提案普選法 and Nation 的 regional 法律 Human 選舉, RealNumber and RealNumber 公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human

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.	Military.kif 872-881	等於 GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 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 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea

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

KB Term:			Term intersection

English Word: