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 13859-13861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13858-13858	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 13857-13857	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 13856-13856	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 13863-13878	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 13880-13893	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 13809-13818	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 13820-13829	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 13895-13899	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 29357-29357	meltingPoint Actinium and 1320.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29205-29205	meltingPoint Aluminum and 933.52 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29369-29369	meltingPoint Americium and 1267.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29281-29281	meltingPoint Antimony and 903.89 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29215-29215	meltingPoint Argon and 83.78 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29245-29245	meltingPoint Arsenic and 886.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29349-29349	meltingPoint Astatine and 575.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29291-29291	meltingPoint Barium and 998.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29373-29373	meltingPoint Berkelium and 1259.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29187-29187	meltingPoint Beryllium and 1551.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29345-29345	meltingPoint Bismuth and 544.5 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29189-29189	meltingPoint Boron and 2573.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29249-29249	meltingPoint Bromine and 265.9 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29275-29275	meltingPoint Cadmium and 594.1 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29289-29289	meltingPoint Caesium and 301.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29219-29219	meltingPoint Calcium and 1112.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29374-29374	meltingPoint Californium and 1173.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29191-29191	meltingPoint Carbon and 3823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29295-29295	meltingPoint Cerium and 1071.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29213-29213	meltingPoint Chlorine and 172.17 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29227-29227	meltingPoint Chromium and 2130.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29233-29233	meltingPoint Cobalt and 1768.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29237-29237	meltingPoint Copper and 1356.6 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29372-29372	meltingPoint Curium and 1613.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29311-29311	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: