TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	域子類, 1 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	域子類, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	例子類 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18660-18660	例子類 and ClosedWorldPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	例子類 and PartialOrderingRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order.	english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.	french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22956-22956	子關係子領域 and 子類
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55708-55708	子關係子領域 and 子類
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 320-320	子關係子領域 and 子類
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55707-55707	子關係子領域 and 子類
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55706-55706	子關係子領域 and 子類
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 133-133	子關係子領域 and 子類

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	attribute AutonomousAgent and ADHD attribute AutonomousAgent and ADHD equal AutonomousAgent and AutonomousAgent 例 Process and Class 例 Process and Class 子類 Class and IntentionalPsychologicalProcess agent Process and AutonomousAgent agent Process and AutonomousAgent 持續時間何時 Process and TimeDuration 持續時間何時 Process and TimeDuration 模態屬性比較多 TimeDuration and TimeDuration and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Biography.kif 738-748	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	WMD.kif 789-793	Process 是生化劑的 biochemical 病毒傳遞子類 Process and Process Process 是生化劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 976-980	Organism 是生物製劑的病毒傳遞者子類 Organism and Organism Organism 是生物製劑的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	能力 Process, CaseRole and Object 子類 Process and Shooting Object 例 Object and Weapon 部分 Object and Object 能力 Process, CaseRole and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 Entity and 假日子類假日 and 固定假期小於或等於 Integer and entity_YEAR 例 Entity and 天 PositiveInteger and 月 Month and 年 entity_YEAR
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Process 模態屬性 entity entity and entity 元件 entity and 屬性 AutonomousAgent agent entity and AutonomousAgent 患者 entity and CognitiveAgent 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14886-14897	Object 的 maximum 預期價值是測量 RealNumber and UnitOfMeasure 子類 Class and NonCompositeUnitOfMeasure 例 UnitOfMeasure and Class 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and Class 比較多測量 RealNumberUANTITY and entity and 測量 RealNumber and UnitOfMeasure and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14855-14866	Object 的 minimum 預期價值是測量 RealNumber and UnitOfMeasure 子類 Class and NonCompositeUnitOfMeasure 例 UnitOfMeasure and Class 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and Class 少於 RealNumberUANTITY and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 Process and Process DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 BiologicallyActiveSubstance and BiologicallyActiveSubstance DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2352-2361	GeopoliticalArea 是對於 TimeInterval 在其間 PhysicalQuantity 的 electricity 消耗子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2405	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2442-2451	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea annual 的電力輸入
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2220-2229	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產
No TPTP formula. May not be expressible in strict first order.	Food.kif 2883-2889	equal Object and OrganicObjectFn Object 子類 Object and AnimalFat 子類 Object and FatTissue %每個 Object 是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4967-4972	equal Object and OrganicObjectFn Object 子類 Object and 咖啡豆子類 Object and 種子 %每個 Object 是 CoffeePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5031-5037	equal Object and OrganicObjectFn Object 子類 Object and 可可豆子類 Object and 種子 %每個 Object 是可可樹的 initially part
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	equal Getting and receiving 一個 Object equal Getting and receiving 一個 Object 子類 Object and Object 子類 Getting and Getting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19972-19977	equal Organization and DepartmentOfPreventingFn Organization and Physical 子類 Physical and Process 子組織 Organization and Organization 抑制 Organization and Physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	equal Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4509	equal Object and OrganicObjectFn Object 子類 Object and Malt 子類 Object and 穀物 %每個 Object 是穀物草的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	equal Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part

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 33332-33339	applicableRelation Object and Relation 例 Object and ObjectC 域 Relation, 1 and Class equal ObjectC and Class 子類 ObjectC and Class
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4203-4227	attribute Object and ToxicandInfectiousSubstance 例 Object and Substance 例 Object and Microorganism AutonomousAgent Process, Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Animal 方位 Object, AutonomousAgent and 近例 Process and 吸入例 Process and Ingesting 例 Process and Touching agent Process and AutonomousAgent 患者 Process and Object 原因 Process and Process 患者 Process and AutonomousAgent 例 Process and Process 能力 Process, 資源 and Object 子類 Process and Injuring 子類 Process and Death
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1502	attribute Object and DutyFree 例 Object and 商店 GeopoliticalArea Entity, Object and Process 例 GeopoliticalArea and GeopoliticalArea 位於 Object and GeopoliticalArea 子類 Object and Object Object 是 GeopoliticalArea 的 import 商品種類例 Entity and Object 例 Process and Selling 患者 Process and Entity 位於 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25883-25893	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer equal Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 215-221	域 Relation, PositiveInteger and Class 域 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3018-3023	域子類 Relation, PositiveInteger and Class 例 Relation and Predicate Relation @ROW 子類清單順序名單 @ROW and PositiveInteger and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 238-244	域子類 Relation, PositiveInteger and Class 域子類 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	equal Getting and receiving 一個 Object equal Getting and receiving 一個 Object 子類 Object and Object 子類 Getting and Getting
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	equal Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	equal Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5599-5606	equal Object and OrganicObjectFn OrganicObject 子類 Object and Object 子類 OrganicObject and Organism 子類 OrganicObject and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5373-5377	equal Object and OrganicObjectFn OrganicObject 子類 Object and 毛皮子類 OrganicObject and 皮膚
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5585	equal Object and OrganicObjectFn Object 子類 Object and WoodProduct 子類 Object and PlantStem Object 子類 Object and 植物樹 %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1798	equal Object and Object 跟 Attribute 的 attr 例 Object and Object 例 Object and Object 子類 Object and Object attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4177-4182	例 Object and AegilopsGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4300-4305	例 Object and CommonWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4330-4335	例 Object and SpeltWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12164-12176	例 Process and 決定 agent Process and CognitiveAgent 例 Set and Set 患者 Process and Set 元件 Entity and Set 相信 CognitiveAgent and entity 例 Entity and entity 子類 entity and IntentionalProcess 能力 entity, agent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4241-4246	例 Object and DurumWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4271-4276	例 Object and EinkornWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4209-4214	例 Object and EmmerWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4285-4290	例 Object and TriticumUrartu 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5827-5835	例 Process and 砍伐結果 Process and Entity EntityTEM 例 Entity and 一個 dead EntityTEM 子類 EntityTEM and PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19655-19663	例 Process and 收穫結果 Process and Entity EntityRG 例 Entity and 一個 dead EntityRG 子類 EntityRG and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	例可穿戴物品 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 可穿戴物品

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.	Military.kif 963-974	equal 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.	Cars.kif 5170-5173	Object 子類 Object and HandToolBox manufacturer Object and SortimoCorp

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 778-778	子類 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve and Nerve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28254-28254	子類 ACPowerSource and 能量源
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3294-3294	子類 ADHD and PsychologicalDysfunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27208-27208	子類 AMFMAlarmClock and AlarmClock
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27209-27209	子類 AMFMAlarmClock and 無線電接收器
No TPTP formula. May not be expressible in strict first order.	Communications.kif 293-293	子類 AM廣播電台 and 廣播電台
No TPTP formula. May not be expressible in strict first order.	Communications.kif 236-236	子類 AM無線電系統 and 無線電系統
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4075-4075	子類 AOCnumber and SymbolicString
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3601-3601	子類自動提款機 and StationaryArtifact
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3677-3677	子類 ATM插槽 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4876-4876	子類 ATVTire and Tire
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2169-2169	子類影/音控制傳輸協議 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6430-6430	子類 AVPUStatus and RelationalAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 1994-1994	子類 AbaloneMeat and MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4952-4952	子類 Abatacept and Immunosupressant
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 527-527	子類阿巴亞 and 披風
No TPTP formula. May not be expressible in strict first order.	People.kif 1213-1213	子類僧院 and ReligiousOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14148	子類 Abdomen and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1272-1272	子類 AbdominalAorta and 動脈
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 135-135	子類 AbducensNerveCNVI and Nerve
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2046-2046	子類 Abducting and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2047-2047	子類 Abducting and MovingAwayFrom
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1608-1608	子類 AbductorDigitiMinimiMuscle and Muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2127-2127	子類 AbductorHallucisMuscle and Muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1581-1581	子類 AbductorPollicisBrevisMuscle and Muscle

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: