Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| registeredItem |
| 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 18216-18219 | |
| (instance registeredItem BinaryPredicate) | Mid-level-ontology.kif 18220-18220 | registered item is an instance of binary predicate |
| (domain registeredItem 1 Text) | Mid-level-ontology.kif 18221-18221 | The number 1 argument of registered item is an instance of text |
| (domain registeredItem 2 Physical) | Mid-level-ontology.kif 18222-18222 | The number 2 argument of registered item is an instance of physical |
| (subrelation registeredItem refers) | Mid-level-ontology.kif 18223-18223 | registered item is a subrelation of refers |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage registeredItem "%2 is %n a registered item of %1") | domainEnglishFormat.kif 2125-2125 | |
| (format ChineseTraditionalLanguage registeredItem "%2 %n 是 %1 的 registered 項目") | domainEnglishFormat.kif 2126-2126 | |
| (format ChineseLanguage registeredItem "%2 %n 是 %1 的 registered 项目") | domainEnglishFormat.kif 2127-2127 | |
| (termFormat EnglishLanguage registeredItem "registered item") | domainEnglishFormat.kif 49239-49239 | |
| (termFormat ChineseTraditionalLanguage registeredItem "註冊項目") | domainEnglishFormat.kif 49240-49240 | |
| (termFormat ChineseLanguage registeredItem "注册项目") | domainEnglishFormat.kif 49241-49241 |
|