UnitOfVolume |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2413-2414 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6285-6287 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1100-1101 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6283-6283 | UnitOfVolume e' uma sub-classe de CompositeUnitOfMeasure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13634-13634 | CubicFoot e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7234-7234 | Cup e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13677-13677 | LiquorShot e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6769-6769 | Liter e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7243-7243 | Ounce e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7225-7225 | Pint e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7216-7216 | Quart e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13662-13662 | RegistryTon e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7252-7252 | UnitedKingdomGallon e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7206-7206 | UnitedStatesGallon e' uma instancia de UnitOfVolume |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65662-65662 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3606-3622 |
|