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 est une sous-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7146-7146	Amu est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7263-7263	AtomGram est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	Gram est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7277-7277	Kilogram est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13613-13613	LongTon est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13597-13597	MetricTon est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6746-6746	Mole est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13322-13322	OunceMass est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7292-7292	PoundMass est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7300-7300	Slug est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13588-13588	TonMass est une instance 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

Le nombre 3 argument de AmountsFn est une instance de UnitOfMass

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6364-6368	Nombre r�el unit� de mesure(s) est quantit� physique unit� de mesure est une instance de UnitOfMass quantit� physique est une instance de mesure de masse
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1013-1017	Unit� de mesure est une instance de UnitOfMass fleetDeadWeightTonnage collection and nombre r�el unit� de mesure(s) unit� de mesure est LongTon
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 996-1000	Unit� de mesure est une instance de UnitOfMass fleetGrossRegisteredTonnage collection and nombre r�el unit� de mesure(s) unit� de mesure est RegistryTon

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 803-810	effectiveDose BiochemicalAgent and PerFn nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfMass unit� de mesure est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 860-867	lethalDose BiochemicalAgent and PerFn nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfMass unit� de mesure est une instance de UnitOfMass