| appearance as argument number 1 |
|
| (documentation registeredItem EnglishLanguage "(registeredItem ?DOCUMENT ?ITEM) means that the Text ?DOCUMENT contains an official record of the Physical thing ?ITEM. The registered item could be an object or an event, e.g., an automobile, a ship, a marriage, an adoption.") | Mid-level-ontology.kif 17530-17533 | |
| (domain registeredItem 1 Text) | Mid-level-ontology.kif 17535-17535 | The number 1 argument of registered item is an instance of text |
| (domain registeredItem 2 Physical) | Mid-level-ontology.kif 17536-17536 | The number 2 argument of registered item is an instance of physical |
| (instance registeredItem BinaryPredicate) | Mid-level-ontology.kif 17534-17534 | registered item is an instance of binary predicate |
| (subrelation registeredItem refers) | Mid-level-ontology.kif 17537-17537 | registered item is a subrelation of refers |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage registeredItem "%2 %n 是 %1 的 registered 项目") | domainEnglishFormat.kif 2127-2127 | |
| (format ChineseTraditionalLanguage registeredItem "%2 %n 是 %1 的 registered 項目") | domainEnglishFormat.kif 2126-2126 | |
| (format EnglishLanguage registeredItem "%2 is %n a registered item of %1") | domainEnglishFormat.kif 2125-2125 | |
| (termFormat ChineseLanguage registeredItem "注册项目") | domainEnglishFormat.kif 49277-49277 | |
| (termFormat ChineseTraditionalLanguage registeredItem "註冊項目") | domainEnglishFormat.kif 49276-49276 | |
| (termFormat EnglishLanguage registeredItem "registered item") | domainEnglishFormat.kif 49275-49275 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners