Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  names

 Sigma KEE - names
names

appearance as argument number 1
-------------------------


(documentation names ChineseLanguage "(names ?STRING ?ENTITY) 的意思是 物体 ?ENTITY 的 名字是 SymbolicString ?STRING。注：names 和 represents 是 refers 的两个直接的 subrelation。 引用光是一个标签，而没有含义内容的东西时，用谓词 names，有内容的东西时用谓词 represents。 ") chinese_format.kif 2158-2161
(documentation names EnglishLanguage "(names ?STRING ?ENTITY) means that the thing ?ENTITY has the SymbolicString ?STRING as its name. Note that names and represents are the two immediate subrelations of refers. The predicate names is used when the referring item is merely a tag without connotative content, while the predicate represents is used for referring items that have such content.") Merge.kif 4431-4435
(documentation names JapaneseLanguage "(names ?STRING ?ENTITY) とは、?ENTITY が SymbolicString ?STRING をその名前として持っていることを意味する。　注：name と represents は ２つの即時の refers の subrelation である。 述語 name は、参照項目が単に内容を含まない タグである場合に使用され、述語 represents はそのようなコンテンツを持つ項目を参照するために使用 される。") japanese_format.kif 815-819
(domain names 1 SymbolicString) Merge.kif 4428-4428 域 名, 1 and SymbolicString
(domain names 2 Entity) Merge.kif 4429-4429 域 名, 2 and Entity
(instance names BinaryPredicate) Merge.kif 4427-4427 例 名 and BinaryPredicate
(subrelation names refers) Merge.kif 4426-4426 子關係 名 and 參照

appearance as argument number 2
-------------------------


(format ChineseLanguage names "%2 的名 %n 是 %1") chinese_format.kif 309-309
(format EnglishLanguage names "%2 %n{doesn't have} %p{has} name %1") english_format.kif 314-314
(format FrenchLanguage names "%2 %n{ne} s'appele %n{pas} nom %1") french_format.kif 177-177
(format JapaneseLanguage names "%2 は %1 の name を %p{持って} %n{ない}") japanese_format.kif 1997-1997
(format PortugueseLanguage names "%2 %n{nao} se chama %n nome %1") portuguese_format.kif 129-129
(format ro names "%2 %n{nu} are name%t{numele} %1") relations-ro.kif 197-197
(subrelation agentName names) Media.kif 3424-3424 子關係 agentName and 名
(subrelation alias names) Mid-level-ontology.kif 23214-23214 子關係 別號 and 名
(subrelation conventionalLongName names) Mid-level-ontology.kif 27217-27217 子關係 傳統的長名 and 名
(subrelation conventionalShortName names) Mid-level-ontology.kif 27228-27228 子關係 傳統的短名稱 and 名
(subrelation familyName names) Mid-level-ontology.kif 14725-14725 子關係 姓 and 名
(subrelation filename names) QoSontology.kif 2205-2205 子關係 filename and 名
(subrelation formerName names) Mid-level-ontology.kif 14718-14718 子關係 以前的名字 and 名
(subrelation fullName names) Media.kif 3290-3290 子關係 fullName and 名
(subrelation givenName names) Mid-level-ontology.kif 14742-14742 子關係 給予的名稱 and 名
(subrelation localLongName names) Mid-level-ontology.kif 14757-14757 子關係 當地的長名 and 名
(subrelation localShortName names) Mid-level-ontology.kif 14762-14762 子關係 本地簡稱 and 名
(subrelation middleName names) Mid-level-ontology.kif 14738-14738 子關係 中間名字 and 名
(subrelation nameIndexOrder names) Media.kif 3337-3337 子關係 nameIndexOrder and 名
(subrelation password names) QoSontology.kif 2095-2095 子關係 密碼 and 名
(subrelation titles names) Mid-level-ontology.kif 14705-14705 子關係 標題 and 名
(subrelation uniqueIdentifier names) Merge.kif 4437-4437 子關係 獨特標識符 and 名
(subrelation userName names) QoSontology.kif 2058-2058 子關係 userName and 名
(termFormat ChineseLanguage names "名") domainEnglishFormat.kif 39669-39669

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
        (not
            (equal ?STRING ?KEY)))
    (not
        (nameIndexOrder ?NAMESTRING ?OBJ)))		 Media.kif 3406-3411
(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (or
            (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
            (equal ?STRING ?KEY)))
    (nameIndexOrder ?NAMESTRING ?OBJ))		 Media.kif 3374-3380
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3339-3344
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ AutonomousAgent))
    (agentName ?STRING ?OBJ))		 Media.kif 3429-3433
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))		 Media.kif 3446-3450
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Organization))
    (organizationName ?STRING ?OBJ))		 Media.kif 3480-3484

consequent
-------------------------


(=>
    (and
        (instance ?PROCESS Naming)
        (patient ?PROCESS ?THING)
        (destination ?PROCESS ?NAME))
    (holdsDuring
        (FutureFn
            (WhenFn ?PROCESS))
        (names ?NAME ?THING)))		 Merge.kif 13257-13262
(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (floorCode ?FLRCODE ?PLACE))
    (exists (?UNIT ?FLOOR)
        (and
            (instance ?FLOOR BuildingLevel)
            (instance ?UNIT Room)
            (located ?UNIT ?FLOOR)
            (part ?FLOOR ?PLACE)
            (names ?UNITSTR ?UNIT)
            (names ?FLRCODE ?FLOOR))))		 Mid-level-ontology.kif 24632-24643
(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (not
            (exists (?FLR)
                (floorCode ?FLR ?PLACE))))
    (exists (?UNIT)
        (and
            (instance ?UNIT Room)
            (names ?UNITSTR ?UNIT)
            (located ?UNIT ?PLACE))))		 Mid-level-ontology.kif 24645-24655
(=>
    (canonicalPlaceName ?PLACE ?LANG ?STR)
    (names ?STR ?PLACE))		 Mid-level-ontology.kif 24584-24586
(=>
    (instance ?C CommunitySpread)
    (not
        (exists (?H)
            (knows ?H
                (exists (?N)
                    (and
                        (origin ?C ?H)
                        (names ?N ?H)))))))		 Medicine.kif 3218-3226
(=>
    (termFormat ?TERM ?LANGUAGE ?STRING)
    (names ?STRING ?TERM))		 Media.kif 31-33

statement
-------------------------


(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2506-2509 持有期間 未來 TimePosition and 名 "Republic of Serbia" and Serbia 例 TimePosition and 天 5 and 月 June and 年 2006
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2533-2536 持有期間 未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 名 "Montenegro" and Montenegro

appearance as argument number 0
-------------------------


(names "Adana" AdanaTurkey) CountriesAndRegions.kif 2495-2495 名 "Adana" and 阿達納土耳其
(names "Addis Ababa" AddisAbabaEthiopia) CountriesAndRegions.kif 2497-2497 名 "Addis Ababa" and 亞的斯亞貝巴埃塞俄比亞
(names "Aden" AdenYemen) CountriesAndRegions.kif 2499-2499 名 "Aden" and 腺也門
(names "Adora" AdoraWestBank) CountriesAndRegions.kif 2501-2501 名 "Adora" and 阿多拉西岸
(names "Advanced Developing Country" AdvancedDevelopingCountry) Economy.kif 352-352 名 "Advanced Developing Country" and 發達的先進國家
(names "Afghanistan" Afghanistan) CountriesAndRegions.kif 4160-4160 名 "Afghanistan" and 阿富汗
(names "Africa" Africa) Geography.kif 3522-3522 名 "Africa" and 非洲
(names "Afula" AfulaIsrael) CountriesAndRegions.kif 2503-2503 名 "Afula" and 阿富拉以色列
(names "Agri" AgriTurkey) CountriesAndRegions.kif 2505-2505 名 "Agri" and 阿格里土耳其
(names "Ain Defla" AinDeflaAlgeria) CountriesAndRegions.kif 2507-2507 名 "Ain Defla" and ain defla 阿爾及利亞
(names "Ain el Hajar" AinElHajarAlgeria) CountriesAndRegions.kif 2509-2509 名 "Ain el Hajar" and ain el hajar 阿爾及利亞
(names "Ajaccio" AjaccioFrance) CountriesAndRegions.kif 2511-2511 名 "Ajaccio" and ajaccio 法國
(names "Al-Balamand " AlBalamandLebanon) CountriesAndRegions.kif 2513-2513 名 "Al-Balamand " and al balamand 黎巴嫩
(names "Albania" Albania) CountriesAndRegions.kif 4064-4064 名 "Albania" and 阿爾巴尼亞
(names "Alei Sinai" AleiSinaiGazaStrip) CountriesAndRegions.kif 2515-2515 名 "Alei Sinai" and alei sinai 加沙地帶
(names "Alei Zahav" AleiZahavWestBank) CountriesAndRegions.kif 2517-2517 名 "Alei Zahav" and alei zahav 西方銀行
(names "Aley" AleyLebanon) CountriesAndRegions.kif 2519-2519 名 "Aley" and 阿萊黎巴嫩
(names "Algeria" Algeria) CountriesAndRegions.kif 3946-3946 名 "Algeria" and 阿爾及利亞
(names "Algiers" AlgiersAlgeria) CountriesAndRegions.kif 2521-2521 名 "Algiers" and 阿爾及爾，阿爾及利亞
(names "Alkhan-Yurt" AlkhanYurtRussia) CountriesAndRegions.kif 2523-2523 名 "Alkhan-Yurt" and 烷烴蒙古包俄羅斯
(names "Alon Moreh" AlonMorehWestBank) CountriesAndRegions.kif 2525-2525 名 "Alon Moreh" and alon
(names "Ambon" AmbonIndonesia) CountriesAndRegions.kif 2527-2527 名 "Ambon" and 安汶印度尼西亞
(names "American Football" FootballUS) Sports.kif 813-813 名 "American Football" and 美式足球赛
(names "American Samoa" AmericanSamoa) CountriesAndRegions.kif 4194-4194 名 "American Samoa" and 美國薩摩亞
(names "Amman" AmmanJordan) CountriesAndRegions.kif 2529-2529 名 "Amman" and 安曼，約旦

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners