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 | Texte est une sous-classe de artefact |
(subclass Text ContentBearingObject) | Merge.kif 15360-15360 | Texte est une sous-classe de objet exprimant un sens |
(subclass Text LinguisticExpression) | Merge.kif 15359-15359 | Texte est une sous-classe de expression linguistique |
appearance as argument number 2 |
(rangeSubclass DocumentFn Text) | Geography.kif 3013-3013 | Les valeurs retourn�es par DocumentFn sont des sous-classes de texte |
(rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 14619-14619 | Les valeurs retourn�es par SeriesVolumeFn sont des sous-classes de texte |
(subclass Article Text) | Mid-level-ontology.kif 14677-14677 | Article est une sous-classe de texte |
(subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | CalendarText est une sous-classe de texte |
(subclass Certificate Text) | Merge.kif 15633-15633 | Certificat est une sous-classe de texte |
(subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | ChairmanPublication est une sous-classe de texte |
(subclass ChristianGospel Text) | Mid-level-ontology.kif 7870-7870 | ChristianGospel est une sous-classe de texte |
(subclass Doctrine Text) | MilitaryProcesses.kif 993-993 | Doctrine est une sous-classe de texte |
(subclass FactualText Text) | Merge.kif 15381-15381 | FactualText est une sous-classe de texte |
(subclass FictionalText Text) | Merge.kif 15409-15409 | FictionalText est une sous-classe de texte |
(subclass FormText Text) | Mid-level-ontology.kif 14485-14485 | FormText est une sous-classe de texte |
(subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | JointPublication est une sous-classe de texte |
(subclass Label Text) | Mid-level-ontology.kif 14472-14472 | Label est une sous-classe de texte |
(subclass LiveTestUpdate Text) | ComputerInput.kif 3012-3012 | LiveTestUpdate est une sous-classe de texte |
(subclass Lyrics Text) | Mid-level-ontology.kif 694-694 | Lyrics est une sous-classe de texte |
(subclass MotionPicture Text) | Merge.kif 1392-1392 | Motion picture est une sous-classe de texte |
(subclass MusicText Text) | Mid-level-ontology.kif 14420-14420 | MusicText est une sous-classe de texte |
(subclass NarrativeText Text) | Mid-level-ontology.kif 14924-14924 | NarrativeText est une sous-classe de texte |
(subclass Paragraph Text) | Mid-level-ontology.kif 705-705 | Paragraph est une sous-classe de texte |
(subclass Prescription Text) | Mid-level-ontology.kif 9265-9265 | Prescription est une sous-classe de texte |
(subclass Series Text) | Mid-level-ontology.kif 14645-14645 | Series est une sous-classe de texte |
(subclass Spam Text) | ComputingBrands.kif 4222-4222 | Spam est une sous-classe de texte |
(subclass Summary Text) | Merge.kif 15586-15586 | R�sum� est une sous-classe de texte |
(subclass TreatyDocument Text) | Geography.kif 3034-3034 | TreatyDocument est une sous-classe de texte |
(termFormat ChineseLanguage Text "文本") | chinese_format.kif 1038-1038 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain registeredItem 1 Text) | Mid-level-ontology.kif 16607-16607 | Le nombre 1 argument de registeredItem est une instance de texte |
(domainSubclass editor 2 Text) | Merge.kif 15477-15477 | Le nombre 2 argument de editor est une sous-classe de texte |
(domainSubclass publishes 2 Text) | Merge.kif 15487-15487 | Le nombre 2 argument de publishes est une sous-classe de texte |
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 a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T |