TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4064-4064
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6261-6264
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1093-1095
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6259-6259	UnitOfMass e' uma sub-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7146-7146	Amu e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7263-7263	AtomGram e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	Gram e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7277-7277	Kilogram e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13613-13613	LongTon e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13597-13597	MetricTon e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6746-6746	Mole e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13322-13322	OunceMass e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7292-7292	PoundMass e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7300-7300	Slug e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13588-13588	TonMass e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65659-65659

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7579-7579

O argumento numero 3 de AmountsFn e' uma instancia de UnitOfMass

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6364-6368	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfMass Quantidade Fisica e' uma instancia de Medida de Massa
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1013-1017	Unidade de Medida e' uma instancia de UnitOfMass fleetDeadWeightTonnage Colecao and Numero Real Unidade de Medida(s) Unidade de Medida e' igual a LongTon
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 996-1000	Unidade de Medida e' uma instancia de UnitOfMass fleetGrossRegisteredTonnage Colecao and Numero Real Unidade de Medida(s) Unidade de Medida e' igual a RegistryTon

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 803-810	effectiveDose BiochemicalAgent and PerFn Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfMass Unidade de Medida e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 860-867	lethalDose BiochemicalAgent and PerFn Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfMass Unidade de Medida e' uma instancia de UnitOfMass