TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1418-1419
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13842
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13840-13840	域沸點, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13839-13839	域子類沸點, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13838-13838	例沸點 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 320-320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 319-319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 318-318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11507-11507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11506-11506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11505-11505

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13887-13900	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13877-13885	例 Process and Boiling 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 患者 Process and Entity 持有期間何時 Process and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13999-14012	例 Process and 蒸發測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Object and PureSubstance 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 患者 Process and Object Object 部分 Object and Object 比較多 RealNumber and RealNumber 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13909-13924	例 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.	Merge.kif 13844-13853	例 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 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13855-13864	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13941-13945	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點大於或等於 RealNumber and RealNumber

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29409-29409	測量 3470.0 and 凱文度是錒的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29257-29257	測量 2740.0 and 凱文度是鋁的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29421-29421	測量 2880.0 and 凱文度是銤的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29333-29333	測量 2023.0 and 凱文度是銻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29267-29267	測量 87.29 and 凱文度是氬的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29297-29297	測量 886.0 and 凱文度是砷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29401-29401	測量 610.0 and 凱文度是砹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29343-29343	測量 1913.0 and 凱文度是鋇的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29239-29239	測量 3243.0 and 凱文度是鈹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29397-29397	測量 1833.0 and 凱文度是鉍的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29241-29241	測量 2823.0 and 凱文度是硼的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29301-29301	測量 331.93 and 凱文度是溴的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29327-29327	測量 1038.0 and 凱文度是鎘的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29341-29341	測量 963.0 and 凱文度是銫的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29271-29271	測量 1760.0 and 凱文度是鈣的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29243-29243	測量 5100.0 and 凱文度是碳的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29347-29347	測量 3530.0 and 凱文度是鈰的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29265-29265	測量 238.55 and 凱文度是氯的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29279-29279	測量 2755.0 and 凱文度是鉻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29285-29285	測量 3143.0 and 凱文度是鈷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29289-29289	測量 2868.0 and 凱文度是銅的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29363-29363	測量 2608.0 and 凱文度是鏑的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29367-29367	測量 2783.0 and 凱文度是鉺的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29357-29357	測量 1870.0 and 凱文度是銪的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29249-29249	測量 85.01 and 凱文度是氟的 boiling 點

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: