Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  registeredItem

Sigma KEE - registeredItem
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 16629-16632
(domain registeredItem 1 Text) Mid-level-ontology.kif 16634-16634 Le nombre 1 argument de registeredItem est une instance de texte
(domain registeredItem 2 Physical) Mid-level-ontology.kif 16635-16635 Le nombre 2 argument de registeredItem est une instance de physique
(instance registeredItem BinaryPredicate) Mid-level-ontology.kif 16633-16633 registeredItem est une instance de pr�dicat binaire
(subrelation registeredItem refers) Mid-level-ontology.kif 16636-16636 registeredItem est une sous-relation de refers

appearance as argument number 2
-------------------------


(format ChineseLanguage registeredItem "%2 %n 是 %1 的 registered 项目") domainEnglishFormat.kif 2123-2123
(format ChineseTraditionalLanguage registeredItem "%2 %n 是 %1 的 registered 項目") domainEnglishFormat.kif 2122-2122
(format EnglishLanguage registeredItem "%2 is %n a registered item of %1") domainEnglishFormat.kif 2121-2121
(termFormat ChineseLanguage registeredItem "注册项目") domainEnglishFormat.kif 49246-49246
(termFormat ChineseTraditionalLanguage registeredItem "註冊項目") domainEnglishFormat.kif 49245-49245
(termFormat EnglishLanguage registeredItem "registered item") domainEnglishFormat.kif 49244-49244


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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