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	O argumento numero 2 de meltingPoint e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13879-13879	O argumento numero 1 de meltingPoint e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13878-13878	meltingPoint e' uma instancia de Predicado Binario

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	Entidade e' uma instancia de Substancia Pura boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Derreter Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13902-13915	Entidade e' uma instancia de Substancia Pura meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' menos que Numero Real Solid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Congelar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura boilingPoint Substancia Pura and Numero Real KelvinDegree(s) meltingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura meltingPoint Substancia Pura and Numero Real KelvinDegree(s) barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' maior que 29.92 a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' menos que Numero Real Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13917-13921	meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29345-29345	meltingPoint Actinium and 1320.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29193-29193	meltingPoint Aluminum and 933.52 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29357-29357	meltingPoint Americium and 1267.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29269-29269	meltingPoint Antimony and 903.89 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29203-29203	meltingPoint Argon and 83.78 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29233-29233	meltingPoint Arsenic and 886.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29337-29337	meltingPoint Astatine and 575.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29279-29279	meltingPoint Barium and 998.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29361-29361	meltingPoint Berkelium and 1259.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29175-29175	meltingPoint Beryllium and 1551.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29333-29333	meltingPoint Bismuth and 544.5 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29177-29177	meltingPoint Boron and 2573.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29237-29237	meltingPoint Bromine and 265.9 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29263-29263	meltingPoint Cadmium and 594.1 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29277-29277	meltingPoint Caesium and 301.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29207-29207	meltingPoint Calcium and 1112.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29362-29362	meltingPoint Californium and 1173.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29179-29179	meltingPoint Carbon and 3823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29283-29283	meltingPoint Cerium and 1071.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29201-29201	meltingPoint Chlorine and 172.17 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29215-29215	meltingPoint Chromium and 2130.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29221-29221	meltingPoint Cobalt and 1768.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29225-29225	meltingPoint Copper and 1356.6 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29360-29360	meltingPoint Curium and 1613.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29299-29299	meltingPoint Dysprosium and 1682.0 KelvinDegree(s)

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: