TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13881-13883
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13880-13880	域熔點, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13879-13879	域子類熔點, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13878-13878	例熔點 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1679-1679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1678-1678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1677-1677
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36983-36983
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36982-36982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36981-36981

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	例 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 13902-13915	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 固體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Freezing 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	例 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 13842-13851	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 RealNumber and 29.92 測量 Object and 測量 RealNumber and 凱文度少於 RealNumber and RealNumber attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13917-13921	測量 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 29345-29345	測量 1320.0 and 凱文度是錒的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29193-29193	測量 933.52 and 凱文度是鋁的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29357-29357	測量 1267.0 and 凱文度是銤的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29269-29269	測量 903.89 and 凱文度是銻的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29203-29203	測量 83.78 and 凱文度是氬的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29233-29233	測量 886.0 and 凱文度是砷的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29337-29337	測量 575.0 and 凱文度是砹的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29279-29279	測量 998.0 and 凱文度是鋇的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29361-29361	測量 1259.0 and 凱文度是锫的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29175-29175	測量 1551.0 and 凱文度是鈹的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29333-29333	測量 544.5 and 凱文度是鉍的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29177-29177	測量 2573.0 and 凱文度是硼的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29237-29237	測量 265.9 and 凱文度是溴的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29263-29263	測量 594.1 and 凱文度是鎘的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29277-29277	測量 301.55 and 凱文度是銫的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29207-29207	測量 1112.0 and 凱文度是鈣的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29362-29362	測量 1173.0 and 凱文度是锎的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29179-29179	測量 3823.0 and 凱文度是碳的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29283-29283	測量 1071.0 and 凱文度是鈰的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29201-29201	測量 172.17 and 凱文度是氯的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29215-29215	測量 2130.0 and 凱文度是鉻的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29221-29221	測量 1768.0 and 凱文度是鈷的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29225-29225	測量 1356.6 and 凱文度是銅的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29360-29360	測量 1613.0 and 凱文度是鋦的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29299-29299	測量 1682.0 and 凱文度是鏑的 melting 點

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: