abstractPart |
appearance as argument number 1 |
(documentation abstractPart EnglishLanguage "A meronymy relation similar to part, but for abstract rather than physical things.") | Mid-level-ontology.kif 22842-22843 | |
(domain abstractPart 1 Abstract) | Mid-level-ontology.kif 22847-22847 | Il numero 1 argomenti di abstractPart è un istanza di Astratto |
(domain abstractPart 2 Abstract) | Mid-level-ontology.kif 22848-22848 | Il numero 2 argomenti di abstractPart è un istanza di Astratto |
(instance abstractPart BinaryPredicate) | Mid-level-ontology.kif 22846-22846 | abstractPart è un' istanza di PredicatoBinario |
(instance abstractPart PartialOrderingRelation) | Mid-level-ontology.kif 22845-22845 | abstractPart è un' istanza di RelazioneDiOrdineParziale |
appearance as argument number 2 |
(format EnglishLanguage abstractPart "%1 is %n a part of %2") | Mid-level-ontology.kif 22849-22849 | |
(termFormat ChineseLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5184-5184 | |
(termFormat ChineseTraditionalLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5183-5183 | |
(termFormat EnglishLanguage abstractPart "abstract part") | domainEnglishFormat.kif 5182-5182 | |
(termFormat EnglishLanguage abstractPart "part") | Mid-level-ontology.kif 22844-22844 |
antecedent |
(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 391-399 |
|
consequent |
appearance as argument number 0 |
(abstractPart NewtonsFirstLaw NewtonsLaw) | engineering.kif 1250-1250 | abstractPart NewtonsFirstLaw and NewtonsLaw |
(abstractPart NewtonsSecondLaw NewtonsLaw) | engineering.kif 1257-1257 | abstractPart NewtonsSecondLaw and NewtonsLaw |
(abstractPart NewtonsThirdLaw NewtonsLaw) | engineering.kif 1262-1262 | abstractPart NewtonsThirdLaw and NewtonsLaw |