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 13795-13796
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13794-13794	域沸點, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13793-13793	域子類沸點, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13792-13792	例沸點 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 13841-13854	測量 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 13831-13839	例 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 13953-13966	例 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 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.	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 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	例 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 13895-13899	測量 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 29358-29358	測量 3470.0 and 凱文度是錒的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29206-29206	測量 2740.0 and 凱文度是鋁的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29370-29370	測量 2880.0 and 凱文度是銤的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29282-29282	測量 2023.0 and 凱文度是銻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29216-29216	測量 87.29 and 凱文度是氬的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29246-29246	測量 886.0 and 凱文度是砷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29350-29350	測量 610.0 and 凱文度是砹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29292-29292	測量 1913.0 and 凱文度是鋇的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29188-29188	測量 3243.0 and 凱文度是鈹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29346-29346	測量 1833.0 and 凱文度是鉍的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29190-29190	測量 2823.0 and 凱文度是硼的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29250-29250	測量 331.93 and 凱文度是溴的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29276-29276	測量 1038.0 and 凱文度是鎘的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29290-29290	測量 963.0 and 凱文度是銫的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29220-29220	測量 1760.0 and 凱文度是鈣的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29192-29192	測量 5100.0 and 凱文度是碳的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29296-29296	測量 3530.0 and 凱文度是鈰的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29214-29214	測量 238.55 and 凱文度是氯的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29228-29228	測量 2755.0 and 凱文度是鉻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29234-29234	測量 3143.0 and 凱文度是鈷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29238-29238	測量 2868.0 and 凱文度是銅的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29312-29312	測量 2608.0 and 凱文度是鏑的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29316-29316	測量 2783.0 and 凱文度是鉺的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29306-29306	測量 1870.0 and 凱文度是銪的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29198-29198	測量 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: