No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30054-30084 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | Quantit� est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2867-2867 | FiniteQuantity est une sous-classe de quantit� |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2871-2871 | InfiniteQuantity est une sous-classe de quantit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1824-1824 | Nombre est une sous-classe de quantit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2025-2025 | Quantit� physique est une sous-classe de quantit� |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 74-74 | PhysicalDimension est une sous-classe de quantit� |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 293-293 | MultipoleQuantity est une sous-classe de quantit� |