Text(Testo) |
appearance as argument number 1 |
(documentation Text ChineseLanguage "这是一种在 Communication 上表达一个特定功能的 LinguisticExpression 或一组 LinguisticExpression。例如:由 Human 所书写的 CorpuscularObject,它是为了表达一个特定主题的话语。") | chinese_format.kif 3550-3552 | |
(documentation Text EnglishLanguage "A LinguisticExpression or set of LinguisticExpressions that perform a specific function related to Communication, e.g. express a discourse about a particular topic, and that are inscribed in a CorpuscularObject by Humans.") | Merge.kif 15384-15387 | |
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png") | pictureList.kif 3008-3008 | |
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png") | pictureList.kif 3229-3229 | |
(subclass Text Artifact) | Merge.kif 15383-15383 | Testo è una sottoclasse di Manufatto |
(subclass Text ContentBearingObject) | Merge.kif 15382-15382 | Testo è una sottoclasse di OggettoSemiotico |
(subclass Text LinguisticExpression) | Merge.kif 15381-15381 | Testo è una sottoclasse di EspressioneLinguistica |
appearance as argument number 2 |
appearance as argument number 3 |
(domain registeredItem 1 Text) | Mid-level-ontology.kif 16606-16606 | Il numero 1 argomenti di registeredItem è un istanza di Testo |
(domainSubclass editor 2 Text) | Merge.kif 15499-15499 | Il numero 2 argomento editor è una sottoclasse diTesto |
(domainSubclass publishes 2 Text) | Merge.kif 15509-15509 | Il numero 2 argomento publishes è una sottoclasse diTesto |
antecedent |
consequent |
statement |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore ha scopo ?D ?D è un' istanza di DownloadingOverNetwork IBookstore è uno strumento per ?D ?T è un' istanza di Testo objectTransferred ?D and ?T |