Text
|
|
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 15362-15365 | |
(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 15361-15361 | Testo è una sottoclasse di Manufatto |
(subclass Text ContentBearingObject) | Merge.kif 15360-15360 | Testo è una sottoclasse di OggettoSemiotico |
(subclass Text LinguisticExpression) | Merge.kif 15359-15359 | Testo è una sottoclasse di EspressioneLinguistica |
appearance as argument number 2 |
appearance as argument number 3 |
(domain registeredItem 1 Text) | Mid-level-ontology.kif 16607-16607 | Il numero 1 argomenti di registeredItem è un istanza di Testo |
(domainSubclass editor 2 Text) | Merge.kif 15477-15477 | Il numero 2 argomento editor è una sottoclasse diTesto |
(domainSubclass publishes 2 Text) | Merge.kif 15487-15487 | 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 |