Text(texte)![]() ![]() | ![]() |
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 15515-15518 | |
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png") | pictureList.kif 3007-3007 | |
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png") | pictureList.kif 3228-3228 | |
(subclass Text Artifact) | Merge.kif 15514-15514 | Texte est une sous-classe de artefact |
(subclass Text ContentBearingObject) | Merge.kif 15513-15513 | Texte est une sous-classe de objet exprimant un sens |
(subclass Text LinguisticExpression) | Merge.kif 15512-15512 | Texte est une sous-classe de expression linguistique |
appearance as argument number 2 |
![]() |
(rangeSubclass DocumentFn Text) | Geography.kif 3171-3171 | Les valeurs retourn�es par DocumentFn sont des sous-classes de texte |
(rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 15990-15990 | Les valeurs retourn�es par SeriesVolumeFn sont des sous-classes de texte |
(subclass Article Text) | Mid-level-ontology.kif 16048-16048 | 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 15783-15783 | 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 9037-9037 | 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 15534-15534 | FactualText est une sous-classe de texte |
(subclass FictionalText Text) | Merge.kif 15562-15562 | FictionalText est une sous-classe de texte |
(subclass FormText Text) | Mid-level-ontology.kif 15856-15856 | 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 15843-15843 | Label est une sous-classe de texte |
(subclass LiveTestUpdate Text) | ComputerInput.kif 3015-3015 | LiveTestUpdate est une sous-classe de texte |
(subclass Lyrics Text) | Mid-level-ontology.kif 687-687 | Lyrics est une sous-classe de texte |
(subclass MotionPicture Text) | Merge.kif 1402-1402 | Motion picture est une sous-classe de texte |
(subclass MusicText Text) | Mid-level-ontology.kif 15791-15791 | MusicText est une sous-classe de texte |
(subclass NarrativeText Text) | Mid-level-ontology.kif 16297-16297 | NarrativeText est une sous-classe de texte |
(subclass Paragraph Text) | Mid-level-ontology.kif 698-698 | Paragraph est une sous-classe de texte |
(subclass Prescription Text) | Mid-level-ontology.kif 10594-10594 | Prescription est une sous-classe de texte |
(subclass Series Text) | Mid-level-ontology.kif 16016-16016 | Series est une sous-classe de texte |
(subclass Spam Text) | ComputingBrands.kif 4217-4217 | Spam est une sous-classe de texte |
(subclass Summary Text) | Merge.kif 15736-15736 | R�sum� est une sous-classe de texte |
(subclass TreatyDocument Text) | Geography.kif 3192-3192 | TreatyDocument est une sous-classe de texte |
(termFormat ChineseLanguage Text "文本") | chinese_format.kif 1038-1038 | TreatyDocument est une sous-classe de texte |
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 17994-17994 | Le nombre 1 argument de registeredItem est une instance de texte |
(domainSubclass editor 2 Text) | Merge.kif 15628-15628 | Le nombre 2 argument de editor est une sous-classe de texte |
(domainSubclass publishes 2 Text) | Merge.kif 15637-15637 | 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 3305-3311 | 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 |
![]() |
![]() |