TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1852-1854
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 339-340
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1848-1848	域比較多, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1849	域比較多, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1842-1842	例比較多 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1845-1845	例比較多 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1846-1846	例比較多 and RelationExtendedToQuantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1843-1843	例比較多 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1844-1844	例比較多 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1850-1850	逆比較多 and 少於
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1847-1847	trichotomizing 比較多 and RealNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4676-4676	南部海洋 comparative 地區比較多對於 2.0 跟美國在一起
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1904-1904
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 96-96
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26532-26532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26531-26531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26530-26530
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 37-37
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 249-249

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	例 Entity and 個人賬戶比較多基數卡帕 SymbolicString and SymbolicString 持有 account Entity and 1 例 Entity and 聯名賬戶
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, TimeInterval and Integer 例 TimeInterval and Minute Integer 例 Integer and RecreationOrExercise agent Integer and AutonomousAgent 期間 TimeInterval and 何時 Integer 持有期間 TimeInterval and attribute AutonomousAgent and 人類成人比較多 Integer and 16 少於 Integer and 12 持有期間 TimeInterval and attribute AutonomousAgent and Healthy
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1370-1377	沙漠氣候區是 GeographicArea 地區的 climate 類別例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度比較多 RealNumber and 18.0 亞熱帶沙漠氣候區是 GeographicArea 地區的 climate 類別
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 TimeInterval and 震患者 TimeInterval and 物理系統例 Entity and UnitOfLength 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15515-15532	等於版 ContentBearingObject and PositiveInteger and ContentBearingObject 等於版 ContentBearingObject and PositiveInteger and ContentBearingObject 比較多 PositiveInteger and PositiveInteger 例 Process and Publication 例 Process and Publication 例 Entity and ContentBearingObject 例 Entity and ContentBearingObject 患者 Process and Entity 患者 Process and Entity 日期 Process and Day 日期 Process and Day 之前結束 Day and 結束 Day
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.	Merge.kif 3258-3268	等於 RealNumber and ListSumFn List 比較多列表長度 List and 1 等於 RealNumber and 加成 List 的 first and ListSumFn SubListFn 2, 列表長度 List and List
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.	Merge.kif 3190-3202	等於 List and SubListFn PositiveInteger, Integer and List 比較多減法 Integer and PositiveInteger and 1 等於 List and 列表連接名單清單順序 List and PositiveInteger and SubListFn 加成 1 and PositiveInteger, Integer and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	等於 RealNumber and VarianceAverageFn Number and List 比較多列表長度 List and 1 等於 RealNumber and 加成 VarianceAverageFn Number and 清單順序 List and 1 and VarianceAverageFn Number and SubListFn 2, 列表長度 List and List
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1070-1075	商船對 NonnegativeInteger 由來源 GeopoliticalArea fOC 船隻比較多 NonnegativeInteger and 0 船舶登記是商船的 marine 庫存例船舶登記 and 便利登記的旗幟
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	governorSpeed SpeedGovernor and FunctionQuantity 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 比較多 RealNumberPROB and RealNumberPROB
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1017-1023	例 Entity and 生化劑測量 RealNumber and UnitOfMeasure 是生化劑的 lethal 劑量比較多 RealNumber and 0.0 例 Entity and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	例 GeographicArea and GeographicArea 例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度比較多 10.0 and RealNumber 極地氣候區是 GeographicArea 地區的 climate 類別
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	例 Process and Auctioning 例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 Object and Object 例 UnitOfMeasure and UnitOfCurrency 患者 Process and Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object 比較多 RealNumber and RealNumber 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8722-8729	例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 開始 TimeInterval 比較多 PositiveInteger and PositiveInteger 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8731-8736	例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 比較多 PositiveInteger and PositiveInteger 早期 TimeInterval and TimeInterval
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.	Transportation.kif 2942-2947	例 Object and 港口 Object 對於 RealNumber equipment 記數船泊位比較多 RealNumber and 0 能力船靠泊, 路徑 and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	例音調 and 音調音調的 frequency 是測量 RealNumber and 赫茲 loudness 音調 and 測量 RealNumber and Decibel 位於音調 and 哪裡 Human and 開始何時音調比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and 250 比較多 8000 and RealNumber 例 Human and Human 例 Process and 聽 agent Process and Human hearingAcuity Human, 測量 RealNumber and Decibel and 測量 RealNumber and Decibel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13878	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點例 UnitOfMeasure and UnitOfTemperature 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 液體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Melting 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1398-1405	例 WaterArea and SurfZone significantWaveHeight WaterArea, 何時 WaterArea and 測量 RealNumber and 腳長比較多 RealNumber and 8.0 attribute WaterArea and RedFlagSwimmingCondition
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	例 TimeInterval and TimePeriod 持續時間 TimeInterval and 測量 RealNumber and 分鐘比較多 RealNumber and 5.0 例 Entity and Human Process 例 Process and Breathing 期間何時 Process and TimeInterval 患者 Process and Entity 模態屬性 entity 例 entity and Death 體驗者 entity and Entity 短暫相遇 TimeInterval and 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13798-13807	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 29.92 and RealNumber 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber attribute Object and 加油站

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.	Geography.kif 4711-4720	attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域距離 Physical, Object and 測量 RealNumber and 海裡比較多 RealNumber and 5.0
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 1885-1889	大於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1937-1941	例 RealNumber and PositiveRealNumber 比較多 RealNumber and 0 例 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7758-7766	更大 Object and Object RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	attribute Object and 平坦的地形部分 LandArea and Object NonnegativeRealNumber 是 LandArea 的 slope 梯度比較多 0.005 and NonnegativeRealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	attribute Object and 低地形部分 LandArea and Object NonnegativeRealNumber 是 LandArea 的 slope 梯度比較多 0.03 and NonnegativeRealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure 例 Object and Class 例 Object and Class 例 UnitOfMeasure and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	attribute AutonomousAgent and ADHD attribute AutonomousAgent and ADHD 等於 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 1186-1201	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.	Mid-level-ontology.kif 24236-24246	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1538-1544	GeopoliticalArea 在週期測量 RealNumber and UnitOfMeasure 對於 TimeInterval 的 capital 地區支出 GeopoliticalArea 對於 TimeInterval 在週期測量 RealNumber and UnitOfMeasure 的 annual 地區消費比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	寒冷氣候帶是 GeographicArea 地區的 climate 類別 TimeInterval 例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度比較多 10.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1597-1603	極地型F氣候區是 GeographicArea 地區的 climate 類別例 TimePosition and TimePosition 持有期間 TimePosition and 測量 entity and 攝氏度是 GeographicArea 的 air 溫度持有期間 TimePosition and 比較多 10.0 and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 TimeInterval and 震患者 TimeInterval and 物理系統例 Entity and UnitOfLength 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18451	defaultMaxValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 模態屬性比較多 Quantity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13536-13545	Object 的 maximum 預期價值是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 比較多 RealNumberUANTITY and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	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 13486-13497	Object 的 maximum 預期半徑是測量 RealNumber and UnitOfMeasure 例 Object and Object attribute Object and 球模態屬性 RealNumberADIUS Object 的 radius 是測量 RealNumberADIUS and UnitOfMeasure 比較多 RealNumberADIUS and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13566-13575	Object 的預期 value 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 比較多 RealNumberUANTITY and 乘法 RealNumber and 1.5 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18434	defaultMinValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 模態屬性比較多 Entity and Quantity and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	等於最大公約數 @ROW and Integer 等於 Integer and 0 Integer 比較多 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18343-18358	等於 Organization and DepartmentOfFn Organization and Physical 子組織 Organization and Organization 等於 Organization and Organization 例 Entity and Physical 在感興趣的範圍內 Organization and Entity 等於 RealNumber and 可能性 agent entity and Organization 等於 entity and 可能性 agent entity and Organization 比較多 RealNumber and entity

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: