TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1733-1734
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1863-1865
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 341-342
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1860-1860	域小於或等於, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1861-1861	域小於或等於, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1856-1856	例小於或等於 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1857-1857	例小於或等於 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1858-1858	例小於或等於 and RelationExtendedToQuantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1859-1859	trichotomizing 小於或等於 and RealNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 143-143
No TPTP formula. May not be expressible in strict first order.	english_format.kif 144-144
No TPTP formula. May not be expressible in strict first order.	french_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 164-164
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1920-1920
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 45-45
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 174-174
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 203-203
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 112-112
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 327-327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1879-1879	逆大於或等於 and 小於或等於
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34151-34151
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 144-144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34150-34150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34149-34149
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 53-53
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 328-328

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	小於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	天 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.	Merge.kif 3083-3102	等於 List and 列表連接 List and List 等於 List and 空列表等於 List and 空列表小於或等於 PositiveInteger and 列表長度 List 小於或等於 PositiveInteger and 列表長度 List 例 PositiveInteger and PositiveInteger 例 PositiveInteger and PositiveInteger 等於清單順序 List and PositiveInteger and 清單順序 List and PositiveInteger 等於清單順序 List and 加成列表長度 List and PositiveInteger and 清單順序 List and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	例 Object and maritime 宣稱 1% 的海洋領土寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Physical, Region and 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure 例 Object and Organism Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Damaging 患者 SymbolicString and Object, 儀器 and Device
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.	Weather.kif 148-157	例 Object and WindFlow 例 Object and Object 部分位於 Object and Object 測量 RealNumber and 腳長是 Object 的 elevation 小於或等於 RealNumber and 500.0 測量 Object and 速度 LengthMeasure and TimeDuration 速度 LengthMeasure and TimeDuration 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	測量 RealNumber and UnitOfMeasure 是車輛的 maximum 有效附載容量車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure 例 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and RealNumberU 是 SelfConnectedObject 的 weight 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 能力卡帕 SymbolicString and 例 SymbolicString and Transportation 患者 SymbolicString and SelfConnectedObject, 儀器 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2660-2665	測量 RealNumber and 儀表是草案 WaterArea 的 navigable 測量 RealNumber and 儀表是水車的 laden 草案小於或等於 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2637-2643	測量 RealNumber and 長噸是 navigable 對於 WaterArea 的運輸噸位例水車 and 水車測量 RealNumber and 長噸是水車的 vessel 位移小於或等於 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	方位 Object, Region and 外例 Object and Region 的 perimeter 地區例 Object and 均勻的周邊區域寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Region and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 小於或等於減法 RealNumber and RealNumber and 0.0 位於 Object and Object

consequent

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.	Merge.kif 6044-6050	等於最大加權路徑 GraphNode and GraphNode and GraphPath 等於路徑重量 GraphPath and RealNumber 例 GraphPath and 圖形路徑 GraphNode and GraphNode 等於路徑重量 GraphPath and RealNumber 小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	例 @ROW 的 region DirectionalAttribute and Region 等於清單順序名單 @ROW and 1 and 測量 RealNumber and 圓周角度小於或等於 RealNumber and 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	例在 @ROW DirectionalAttribute 的 meridian and Region 等於清單順序名單 @ROW and 1 and 測量 RealNumber and 圓周角度小於或等於 RealNumber and 180.0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	例 Object and 飛機場 attribute Object and 長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 2438 小於或等於 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	例 Object and 飛機場 attribute Object and 中長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 1524 小於或等於 RealNumber and 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	例 Object and 飛機場 attribute Object and 短跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 914 小於或等於 RealNumber and 1523
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 906-915	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	例 Object and Brine 測量 Object and 測量 1.0 and 升部分 Object and Object 例 Object and 鹽測量 Object and 測量 RealNumber and 公克比較多 RealNumber and 35.0 小於或等於 RealNumber and 260.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 571-578	例 Food and 咖啡豆 attribute Food and DarkRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 225 小於或等於 RealNumber and 245
No TPTP formula. May not be expressible in strict first order.	Food.kif 495-502	例 Food and 咖啡豆 attribute Food and LightRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 196 小於或等於 RealNumber and 205
No TPTP formula. May not be expressible in strict first order.	Food.kif 533-540	例 Food and 咖啡豆 attribute Food and MediumRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 210 小於或等於 RealNumber and 219
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.	Food.kif 1367-1385	例 Object and FlatWhite 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and MilkFoam mixtureRatio Substance, Substance, RealNumber, RealNumber and 升部分 SelfConnectedObject and Substance 部分 SelfConnectedObject and Substance 上 SelfConnectedObject and Substance 例 SelfConnectedObject and 氣泡測量 SelfConnectedObject and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15 大於或等於 RealNumber and 1.0 小於或等於 RealNumber and 20.0
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	例 GeopoliticalArea and City 部分 GeopoliticalArea and 法國小於或等於基數 GeopoliticalArea 的 resident and 基數巴黎的 resident
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.	Weather.kif 2365-2384	例 Process and 颶風例 SpeedScaleAttribute and SSHWSAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and UnitOfMeasure and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8985-8989	例 Physical and 冰測量 Physical and 測量 RealNumber and 攝氏度小於或等於 RealNumber and 0.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	例 Object and SemiSkimmedMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.015 and RealNumber 小於或等於 RealNumber and 乘法 0.02 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	例 Object and SkimmedMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.0 and RealNumber 小於或等於 RealNumber and 乘法 0.005 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	例 Object and WholeMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.0325 and RealNumber 小於或等於 RealNumber and 乘法 0.05 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 453-458	例鐵路 and 鐵路屬性鐵路 and 窄規測量 RealNumber and 儀表是鐵路的 track 寬度小於或等於 RealNumber and 1.435

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Media.kif 1966-1966

小於或等於基數 TwelveApostles and 12

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

KB Term:			Term intersection

English Word: