represents |
appearance as argument number 1 |
(documentation represents ChineseLanguage "这是一个十分概括的符号 Predicate, (represents ?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。 Predicate containsInformation 和 realization 是 represents 的子关系。注: represents 是 refers 的子关系,因为只有当一样东西在引用另一样东西时,才能描述这件东西。可参考 names 的文档字符串。") | chinese_format.kif 2164-2168 | |
(documentation represents EnglishLanguage "A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names.") | Merge.kif 4455-4461 | |
(documentation represents JapaneseLanguage "非常に一般的な記号論 Predicate。 (represents ?THING ?ENTITY) とは、?THING が何らかの方法で?ENTITYに対して示し、表現、意味、 描写、記述などすることを意味する。 Predicates containsInformation と realization は represents の サブリファリレーションである。 注:represents は、refers の サブリレー ションである。それがこの他のものを参照している場合にのみ何かが他のものを表すことができるのからであ る。names のドキュメント文字列を参照。") | japanese_format.kif 823-828 | |
(domain represents 1 Entity) | Merge.kif 4452-4452 | Die Zahl 1 Argument von stelltDar ist ein fall von Entity %n{nicht} |
(domain represents 2 Entity) | Merge.kif 4453-4453 | Die Zahl 2 Argument von stelltDar ist ein fall von Entity %n{nicht} |
(instance represents BinaryPredicate) | Merge.kif 4451-4451 | stelltDar ist ein fall von BinaryPredicate %n{nicht} |
(subrelation represents refers) | Merge.kif 4450-4450 | stelltDar ist eine teilrelation von beziehtSichAuf |
appearance as argument number 2 |
(format ChineseLanguage represents "%1 %n{doesn't} 表达 %2") | chinese_format.kif 227-227 | |
(format EnglishLanguage represents "%1 %n{doesn't} express%p{es} %2") | english_format.kif 228-228 | |
(format FrenchLanguage represents "%1 %n{ne} d�finie %n{pas} %2") | french_format.kif 133-133 | |
(format ItalianLanguage represents "%1 esprime %2") | relations-it.txt 253-253 | |
(format JapaneseLanguage represents "%1 は %2 を express%p{es} %n{ない}") | japanese_format.kif 1962-1962 | |
(format PortugueseLanguage represents "%1 %n{nao} define %n %2") | portuguese_format.kif 85-85 | |
(format de represents "%1 drueckt %2 aus") | relations-de.txt 296-296 | |
(format hi represents "%1 %2 ko abhivyakta karataa hai") | relations-hindi.txt 290-290 | |
(format ro represents "%1 %n{nu} express%t{reprezinã} %2") | relations-ro.kif 152-152 | |
(format sv represents "%1 uttrycker %n{inte} %2") | relations-sv.txt 138-138 | |
(format tg represents "%1 ay nagtatanto %2") | relations-tg.txt 445-445 | |
(subrelation abstractCounterpart represents) | Merge.kif 6113-6113 | abstractCounterpart ist eine teilrelation von stelltDar |
(subrelation anthem represents) | Music.kif 349-349 | anthem ist eine teilrelation von stelltDar |
(subrelation cardCode represents) | FinancialOntology.kif 3498-3498 | cardCode ist eine teilrelation von stelltDar |
(subrelation conforms represents) | Mid-level-ontology.kif 26923-26923 | conforms ist eine teilrelation von stelltDar |
(subrelation containsInformation represents) | Merge.kif 1356-1356 | enthaeltInformationen ist eine teilrelation von stelltDar |
(subrelation hardwareType represents) | QoSontology.kif 1020-1020 | hardwareType ist eine teilrelation von stelltDar |
(subrelation implementsProtocol represents) | ComputingBrands.kif 4050-4050 | implementsProtocol ist eine teilrelation von stelltDar |
(subrelation pin represents) | FinancialOntology.kif 3537-3537 | pin ist eine teilrelation von stelltDar |
(subrelation productBrand represents) | Hotel.kif 1301-1301 | productBrand ist eine teilrelation von stelltDar |
(subrelation productModel represents) | QoSontology.kif 14-14 | productModel ist eine teilrelation von stelltDar |
(subrelation realization represents) | Merge.kif 4595-4595 | realizierung ist eine teilrelation von stelltDar |
(subrelation record represents) | Mid-level-ontology.kif 14322-14322 | record ist eine teilrelation von stelltDar |
(termFormat ChineseLanguage represents "代表") | domainEnglishFormat.kif 49532-49532 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 3001-3009 |
|
(=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product))) |
Media.kif 895-901 |
|
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1794-1800 |
|
(=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC)))))) |
Military.kif 32-44 |
|
(=> (and (instance ?QUERY SearchQuery) (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY ?SEARCHATTEMPT)) (exists (?AGENT ?OBJ) (and (instance ?AGENT AutonomousAgent) (patient ?SEARCHATTEMPT ?OBJ) (agent ?SEARCHATTEMPT ?AGENT)))) |
UXExperimentalTerms.kif 2426-2435 |
|
consequent |
appearance as argument number 0 |
(represents ResistorElement Dissipator) | engineering.kif 850-850 | ResistorElement drueckt Dissipator aus |
(represents ResistorElement ElectricalTwopole) | engineering.kif 851-851 | ResistorElement drueckt ElectricalTwopole aus |