CorpuscularObject(objet corpusculaire ) | ![]() |
appearance as argument number 1 |
![]() |
(disjoint CorpuscularObject Substance) | Merge.kif 1237-1237 | Objet corpusculaire est disjoint de substance |
(documentation CorpuscularObject ChineseLanguage "这是一个整体和部分之间不存在共有的特性 SelfConnectedObject。 ") | chinese_format.kif 1624-1625 | Objet corpusculaire est disjoint de substance |
(documentation CorpuscularObject EnglishLanguage "A SelfConnectedObject whose parts have properties that are not shared by the whole.") | Merge.kif 1238-1239 | Objet corpusculaire est disjoint de substance |
(documentation CorpuscularObject JapaneseLanguage "パーツのプロパティが全体で共有されない SelfConnectedObject。") | japanese_format.kif 206-207 | Objet corpusculaire est disjoint de substance |
(documentation CorpuscularObject SpanishLanguage "Un SelfConnectedObject cuyas propiedades no comparten entre todo el objeto.") | spanish_format.kif 245-246 | Objet corpusculaire est disjoint de substance |
(subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1236-1236 | Objet corpusculaire est une sous-classe de objet en une partie |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AmountsFn 2 CorpuscularObject) | Merge.kif 7628-7628 | Le nombre 2 argument de AmountsFn est une instance de objet corpusculaire |
(domain amount 2 CorpuscularObject) | Merge.kif 7644-7644 | Le nombre 2 argument de amount est une instance de objet corpusculaire |
(domain component 1 CorpuscularObject) | Merge.kif 977-977 | Le nombre 1 argument de component est une instance de objet corpusculaire |
(domain component 2 CorpuscularObject) | Merge.kif 978-978 | Le nombre 2 argument de component est une instance de objet corpusculaire |
(domain material 2 CorpuscularObject) | Merge.kif 989-989 | Le nombre 2 argument de material est une instance de objet corpusculaire |
(domain sliceOfFigure 2 CorpuscularObject) | Mid-level-ontology.kif 5288-5288 | Le nombre 2 argument de sliceOfFigure est une instance de objet corpusculaire |
(domainSubclass substanceElement 1 CorpuscularObject) | Merge.kif 1252-1252 | Le nombre 1 argument de substanceElement est une sous-classe de objet corpusculaire |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |