TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3438-3438
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14668-14669
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 259-259
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3117-3117
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3116-3116
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 257-257
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 258-258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14667-14667	劃分 Human, 人 and 女人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14666-14666	子類 Human and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14665-14665	子類 Human and Hominid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1586-1586	Human 是百日咳博德特氏菌的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20017-20017	不相交的家畜 and Human
No TPTP formula. May not be expressible in strict first order.	Media.kif 35-35	不相交的 Organization and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 793-793	%每個 VocalCords 是 Human 的 initially part
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2447-2447	例史蒂芬·賈伯斯 and Human
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2459-2459	例斯蒂夫·沃茲尼亞克 and Human
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2435-2435	例提姆·庫克 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 185-185	子類人類成人 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-248	子類人類青年 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14671-14671	子類人 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	子類青少年 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14678-14678	子類女人 and Human
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1002-1002
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order.	french_format.kif 679-679
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 210-210
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2363-2363
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 631-631
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 215-215
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 247-247
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 700-700
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 214-214
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 791-791	VocalCords typically 是 Human 的 part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1280-1280	connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1658-1658	connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 986-986	connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1465-1465	connectedBodyPartTypes AfferentArteriole, InterlobularArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 252-252	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 257-257	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 267-267	connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 262-262	connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1016-1016	connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 820-820	connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1169-1169	connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 79-79	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 73-73	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1885-1885	connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1880-1880	connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 795-795	connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1863-1863	connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1873-1873	connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1148-1148	connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 371-371	connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 366-366	connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 164-164	connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1454-1454	connectedBodyPartTypes ArcuateArtery, InterlobarArtery and Human
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1565-1565	connectedBodyPartTypes AuditoryCanal, TympanicCavity and Human
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1615-1615	connectedBodyPartTypes Auricle, AuditoryCanal and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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.	Merge.kif 17276-17284	持有期間 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.	Biography.kif 223-230	attribute AutonomousAgent and Founder 例 AutonomousAgent and Human Process 例 Process and 創建 agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and Muscle 例 Object and Nerve 例 Object and Muscle 部分 Object and Object 部分 Object and Object attribute Object and Healthy 例 Object and Human 有目的 Object and ObjectF entity 例 ObjectF and NerveFiring 儀器 ObjectF and Object 例 Muscle and MuscleContraction 儀器 ObjectV and Object 原因 ObjectF and Muscle
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	%2 是 1% 的 government 類別例 Organism and Human 例 Organism and Human 持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism 家庭關係 Organism and Organism 早期 TimeInterval and TimeInterval 模態屬性持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7561-7568	持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 例 Entity and 一群人持有期間 TimePosition and Entity 是 Entity 的 member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25034-25043	例 Entity and Human 持有期間 TimePosition and entity 有 number entity entity 是 Entity 的 telephone number 位於 entity and entity 例 entity and 住宅持有期間 TimePosition and 棲息 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1789-1795	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色 attribute Object and Organization 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色會員 Object and Organization
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and Attaching agent entity and Formula 目的地 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12847-12853	例 Object and 乳房例 SelfConnectedObject and Human 部分 Object and SelfConnectedObject 部分 Object and 面前 SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 286-292	例 Entity and Human 持有期間 TimePosition and attribute Entity and 沒有完全形成持有期間 TimePosition and 例 Entity and 人類青年
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12234-12239	例 Process and Confining 患者 Process and CognitiveAgent 例 CognitiveAgent and Human 慾望 CognitiveAgent and 患者 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	例試驗 and 試驗例 Human and Human Human 是在試驗的 subject Process 例 Process and Process 體驗者 Process and Human control 在實驗試驗是 Process Process 在試驗的 process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	例 Collection and 軍事力量例 AutonomousAgent and Human 例 Process and 監禁會員 AutonomousAgent and Collection agent Process and AutonomousAgent 患者 Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent Process 是 located 在 Object attribute Object and 戰爭狀態 attribute AutonomousAgent and 戰俘
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6160-6168	例 Object and Human attribute Object and 發熱 RealNumber 測量 Object and 測量 RealNumber and 華氏度比較多 RealNumber and 98.6
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-694	例 Entity and Human 持有期間 TimePosition and attribute TimePosition and Hyperthermia coreBodyTemp Entity and 測量 RealNumber and 攝氏度比較多 RealNumber and 38.3
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 651-659	例 Entity and Human 持有期間 TimePosition and attribute TimePosition and Hypothermia coreBodyTemp Entity and 測量 RealNumber and 攝氏度少於 RealNumber and 35.0
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.	Medicine.kif 519-530	例 Object and Human 例 Object and Rectum 部分 Object and Object 持有期間 TimePosition and coreBodyTemp Object and 測量 RealNumber and entity 測量 Object and 測量 RealNumber and entity approximateValue RealNumber and RealNumber

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 82-97	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population 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 等於部 GeopoliticalArea 的 population 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 等於 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.	People.kif 156-187	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 migrants and RealNumber 等於減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間年 and 等於 GeopoliticalArea 的 population 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 206-223	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29495-29507	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object 等於 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30108-30115	attribute Object and Inhabited 例 Object and Region Organism 例 Organism and Human 棲息 Organism and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17266-17270	attribute Object and Attribute 例 Attribute and SocialRole 例 Object and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30092-30100	attribute Object and Uninhabited 例 Object and Region Organism 例 Organism and Human 棲息 Organism and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2579-2583	Organization 是 Business 的 business 單位會員 Physical and Organization 例 Physical and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	% Nation %3 子屬性 Position and 外交代表 Human 例 Human and Human 公民 Human and Nation Nation 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7996-8000	例 Process and 施洗患者 Process and Entity 例 Entity and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	例 Process and 示範 agent Process and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2534-2538	例 Process and 疏散體驗者 Process and AutonomousAgent 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16260-16264	例 Collection and 一群人會員 Physical and Collection 例 Physical and Human
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1575-1588	例 Process and 高激浪例 Object and WaterArea Process 是 located 在 Object Process AutonomousAgent 例 Process and Swimming 例 AutonomousAgent and Human agent Process and AutonomousAgent Process 是 located 在 Object 持有期間何時 Process and hazardous Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17369-17373	例 Process and 移民 agent Process and AutonomousAgent 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection Physical 例 Physical and Human TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and Physical 是 WebSite 的 registered user TimeInterval_DURING 例 TimeInterval_DURING and TimeInterval 期間 TimeInterval_DURING and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user 會員 Physical and Collection 等於 Collection and new registrations 在 WebSite 期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	例 Object and Object 例 Object and WebListing 例 AutonomousAgent and AutonomousAgent attribute Object and ForSaleByOwner 擁有 AutonomousAgent and Object 例 AutonomousAgent and Human

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 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.	Mid-level-ontology.kif 31708-31713	等於 GeopoliticalArea 的 population 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 是 GeopoliticalArea 的 military 年紀等於 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.	Merge.kif 14895-14895	等於 Food and food for Human

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

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

KB Term:			Term intersection

English Word: