Text(Texto) |
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 | Texto e' uma sub-classe de Artefato |
(subclass Text ContentBearingObject) | Merge.kif 15360-15360 | Texto e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
(subclass Text LinguisticExpression) | Merge.kif 15359-15359 | Texto e' uma sub-classe de Expressao Linguistica |
appearance as argument number 2 |
(rangeSubclass DocumentFn Text) | Geography.kif 3013-3013 | Os valores retornados por DocumentFn sao as sub-classes de Texto |
(rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 14619-14619 | Os valores retornados por SeriesVolumeFn sao as sub-classes de Texto |
(subclass Article Text) | Mid-level-ontology.kif 14677-14677 | Artigo e' uma sub-classe de Texto |
(subclass CalendarText Text) | ComputingBrands.kif 2287-2287 | CalendarText e' uma sub-classe de Texto |
(subclass Certificate Text) | Merge.kif 15633-15633 | Certificado e' uma sub-classe de Texto |
(subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | ChairmanPublication e' uma sub-classe de Texto |
(subclass ChristianGospel Text) | Mid-level-ontology.kif 7870-7870 | ChristianGospel e' uma sub-classe de Texto |
(subclass Doctrine Text) | MilitaryProcesses.kif 993-993 | Doctrine e' uma sub-classe de Texto |
(subclass FactualText Text) | Merge.kif 15381-15381 | FactualText e' uma sub-classe de Texto |
(subclass FictionalText Text) | Merge.kif 15409-15409 | FictionalText e' uma sub-classe de Texto |
(subclass FormText Text) | Mid-level-ontology.kif 14485-14485 | FormText e' uma sub-classe de Texto |
(subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | JointPublication e' uma sub-classe de Texto |
(subclass Label Text) | Mid-level-ontology.kif 14472-14472 | Label e' uma sub-classe de Texto |
(subclass LiveTestUpdate Text) | ComputerInput.kif 3012-3012 | LiveTestUpdate e' uma sub-classe de Texto |
(subclass Lyrics Text) | Mid-level-ontology.kif 694-694 | Lyrics e' uma sub-classe de Texto |
(subclass MotionPicture Text) | Merge.kif 1392-1392 | Filme e' uma sub-classe de Texto |
(subclass MusicText Text) | Mid-level-ontology.kif 14420-14420 | MusicText e' uma sub-classe de Texto |
(subclass NarrativeText Text) | Mid-level-ontology.kif 14924-14924 | NarrativeText e' uma sub-classe de Texto |
(subclass Paragraph Text) | Mid-level-ontology.kif 705-705 | Paragraph e' uma sub-classe de Texto |
(subclass Prescription Text) | Mid-level-ontology.kif 9265-9265 | Prescription e' uma sub-classe de Texto |
(subclass Series Text) | Mid-level-ontology.kif 14645-14645 | Serie e' uma sub-classe de Texto |
(subclass Spam Text) | ComputingBrands.kif 4222-4222 | Spam e' uma sub-classe de Texto |
(subclass Summary Text) | Merge.kif 15586-15586 | Resumo e' uma sub-classe de Texto |
(subclass TreatyDocument Text) | Geography.kif 3034-3034 | TreatyDocument e' uma sub-classe de Texto |
(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 | O argumento numero 1 de registeredItem e' uma instancia de Texto |
(domainSubclass editor 2 Text) | Merge.kif 15477-15477 | O argumento numero 2 de editor e' uma sub-classe de Texto |
(domainSubclass publishes 2 Text) | Merge.kif 15487-15487 | O argumento numero 2 de publishes e' uma sub-classe de Texto |
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 tem por fim ?D ?D e' uma instancia de DownloadingOverNetwork IBookstore e' um instrumento para ?D ?T e' uma instancia de Texto objectTransferred ?D and ?T |