TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2220-2223
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4746-4750
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 884-887
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4742-4742	域部, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4743-4743	域部, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5297-5297	身份元素部 and 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4739-4739	例部 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4741-4741	例部 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4744-4744	範圍部 and RealNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 686-686
No TPTP formula. May not be expressible in strict first order.	english_format.kif 688-688
No TPTP formula. May not be expressible in strict first order.	french_format.kif 416-416
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 80-80
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2133-2133
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 425-425
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 893-893
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 460-460
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19992-19992
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 687-687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19991-19991
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19990-19990
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 176-176

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	例 Object and CoffeeArabica 測量 Object and 測量 RealNumber and 公克例 ObjectC and Caffeine 部分 ObjectC and Object 測量 ObjectC and 測量 RealNumber and 公克等於 RealNumber and 部 RealNumber and RealNumber 大於或等於 RealNumber and 0.008 小於或等於 RealNumber and 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	例 Object and CoffeeRobusta 測量 Object and 測量 RealNumber and 公克例 ObjectC and Caffeine 部分 ObjectC and Object 測量 ObjectC and 測量 RealNumber and 公克等於 RealNumber and 部 RealNumber and RealNumber 大於或等於 RealNumber and 0.017 小於或等於 RealNumber and 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2215-2225	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地例 UnitOfMeasure and UnitOfArea 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域等於 RealNumber and 部 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2227-2237	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea 等於 RealNumber and 部 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	測量 Object and 測量 RealNumber and 流明測量 Object and 測量 RealNumber and 流明部分 Object and Object 部分 Object and Object 等於 Object and Object 比較多 RealNumber and RealNumber 等於部 RealNumber and RealNumber and RealNumber contrastRatio Object and RealNumber Object Object, RealNumber and RealNumber 測量 Object and 測量 RealNumber and 流明測量 Object and 測量 RealNumber and 流明部分 Object and Object 部分 Object and Object 等於 Object and Object 比較多 RealNumber and RealNumber 比較多部 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5117-5128	等於 Integer and 0 等於加成乘法地板部 Integer and Integer and Integer and Integer and Integer 等於剩餘 Integer and Integer and Integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 538-548	測量 RealNumber and UnitOfMeasure 是金融賬戶的 principal 總額 RealNumber 是金融賬戶的 fixed 固定利息金融賬戶是對於 TimeInterval 的 simple 利息測量 RealNumber and UnitOfMeasure 等於 RealNumber-Decimal and 部 RealNumber and 100 等於 RealNumber and 乘法 RealNumber and RealNumber-Decimal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	金融賬戶是對於 TimeInterval 的 simple 利息測量 RealNumber and UnitOfMeasure 測量 RealNumber and UnitOfMeasure 是金融賬戶的 principal 總額等於 RealNumber-Decimal and 部 RealNumber and RealNumber 等於 RealNumber and 乘法 RealNumber-Decimal and 100.0 金融賬戶是對於 TimeInterval 每周期 RealNumber 的 interest 速率

consequent

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 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 52-64	例年 and 年 Integer 等於 GeopoliticalArea 和年的 population 成長 and RealNumber 等於減法 Integer and IntegerP and 1 例 TimePosition and 年 IntegerP 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 持有期間 TimePosition and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and RealNumber and RealNumber 等於減法 RealNumber and 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之 RealNumber 在信仰團體的人相信信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1928-1933	compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and 部 RealNumber and UnitOfMeasureAX
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.	People.kif 1547-1558	RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13326-13331	測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量部 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	等於剩餘 Integer and Integer and Integer 等於 Integer and 0 等於加成乘法地板部 Integer and Integer and Integer and Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	等於 RealNumber and AverageFn List 比較多列表長度 List and 0 等於 RealNumber and 部 ListSumFn List and 列表長度 List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	等於 RealNumber and VarianceFn List 等於 RealNumber and AverageFn List 等於 RealNumber and 部 VarianceAverageFn RealNumber and List and 列表長度 List
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4081-4113	例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上持有期間 Process and attribute Entity and 設備關閉例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多部 ObjectM and ObjectM and 部 ObjectM and ObjectM
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例試驗 and 試驗例 TimeInterval and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗期間何時 SymbolicString and TimeInterval and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage 期間何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在試驗期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例試驗 and 試驗例 Entity and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗 and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在試驗
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	例 Human and 人類成人測量 Human and 測量 RealNumber and Pounds bloodVolume Human and 測量 RealNumber and 升等於 RealNumber and 部乘法 RealNumber and 0.07 and 2.33
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	例 SearchResultsPage and SearchResultsPage 例 List and SRPResults 零件 List and SearchResultsPage 等於部基數卡帕 SymbolicString and 例 SymbolicString and RequestingHyperlink 患者 SymbolicString and entity 目的地 SymbolicString and entity 例 entity and HypertextLink 零件 entity and SearchResultsPage 例 entity and ProductDescriptionPage 例 entity and ViewItemPage and 列表長度 List and qualifying clicks 在 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4563-4571	例 RealNumber and Quantity 例 RealNumber and Quantity 等於 RealNumber 的 financial improvement 百分比在 RealNumber 之上 and 部減法 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	例 Radiating and 輻射電磁 Radiating 載波的頻率是測量 RealNumber and 赫茲 Radiating 的 wavelength 是測量 RealNumber and 儀表等於測量 RealNumber and 儀表 and 測量部 299792458 and RealNumber 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.	Merge.kif 7367-7369	等於測量 RealNumber and 圓周角度 and 測量乘法 RealNumber and 部 Pi and 180.0 and 弧度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7012-7014	等於測量 RealNumber and 攝氏度 and 測量部減法 RealNumber and 32.0 and 1.8 and 華氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7239-7241	等於測量 RealNumber and 杯子 and 測量部 RealNumber and 2 and 品脫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7248-7250	等於測量 RealNumber and 盎司 and 測量部 RealNumber and 8 and 杯子
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7230-7232	等於測量 RealNumber and 品脫 and 測量部 RealNumber and 2 and 夸脫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7221-7223	等於測量 RealNumber and 夸脫 and 測量部 RealNumber and 4 and 美國加侖
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13333-13336	RealNumber 等於測量 RealNumber and OunceMass and 測量部 RealNumber and 16.0 and 磅質量

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

KB Term:			Term intersection

English Word: