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。注:namesrepresentsrefers 的两个直接的 subrelation。 引用光是一个标签,而没有含义内容的东西时,用谓词 names,有内容的东西时用谓词 represents。 ") Merge.kif 4560-4563
(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 4554-4559
(domain names 1 SymbolicString) Merge.kif 4553-4553 命名 的 1 数量 是 符号串instance
(instance names BinaryPredicate) Merge.kif 4552-4552 命名二元谓语instance
(subrelation names refers) Merge.kif 4551-4551 命名提到subrelation

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 187-187
(subrelation agentName names) Media.kif 3360-3360 agentName命名subrelation
(subrelation alias names) Mid-level-ontology.kif 21114-21114 alias命名subrelation
(subrelation conventionalLongName names) Mid-level-ontology.kif 25473-25473 conventionalLongName命名subrelation
(subrelation conventionalShortName names) Mid-level-ontology.kif 25484-25484 conventionalShortName命名subrelation
(subrelation familyName names) Mid-level-ontology.kif 12469-12469 familyName命名subrelation
(subrelation filename names) QoSontology.kif 2184-2184 filename命名subrelation
(subrelation formerName names) Mid-level-ontology.kif 12462-12462 formerName命名subrelation
(subrelation fullName names) Media.kif 3226-3226 fullName命名subrelation
(subrelation givenName names) Mid-level-ontology.kif 12486-12486 givenName命名subrelation
(subrelation localLongName names) Mid-level-ontology.kif 12501-12501 localLongName命名subrelation
(subrelation localShortName names) Mid-level-ontology.kif 12506-12506 localShortName命名subrelation
(subrelation middleName names) Mid-level-ontology.kif 12482-12482 middleName命名subrelation
(subrelation nameIndexOrder names) Media.kif 3273-3273 nameIndexOrder命名subrelation
(subrelation password names) QoSontology.kif 2077-2077 password命名subrelation
(subrelation titles names) Mid-level-ontology.kif 12449-12449 titles命名subrelation
(subrelation uniqueIdentifier names) Merge.kif 4565-4565 唯一识别符号命名subrelation
(subrelation userName names) QoSontology.kif 2046-2046 userName命名subrelation
(termFormat ChineseLanguage names "命名") chinese_format.kif 310-310 termFormat ChineseLanguage, 命名 and "命名"
(termFormat EnglishLanguage names "names") domainEnglishFormat.kif 7031-7031 termFormat EnglishLanguage, 命名 and "names"

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


(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
        (not
            (equal ?STRING ?KEY)))
    (not
        (nameIndexOrder ?NAMESTRING ?OBJ)))
Media.kif 3342-3347
(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (or
            (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
            (equal ?STRING ?KEY)))
    (nameIndexOrder ?NAMESTRING ?OBJ))
Media.kif 3310-3316
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))
Media.kif 3275-3280
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Agent))
    (agentName ?STRING ?OBJ))
Media.kif 3365-3369
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))
Media.kif 3382-3386
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Organization))
    (organizationName ?STRING ?OBJ))
Media.kif 3416-3420

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


(=>
    (and
        (instance ?PROCESS Naming)
        (patient ?PROCESS ?THING)
        (destination ?PROCESS ?NAME))
    (holdsDuring
        (FutureFn
            (WhenFn ?PROCESS))
        (names ?NAME ?THING)))
Merge.kif 13236-13241
(=>
    (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 22426-22437
(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (not
            (exists (?FLR)
                (floorCode ?FLR ?PLACE))))
    (exists (?UNIT)
        (and
            (instance ?UNIT Room)
            (names ?UNITSTR ?UNIT)
            (located ?UNIT ?BLDG))))
Mid-level-ontology.kif 22439-22449
(=>
    (canonicalPlaceName ?PLACE ?LANG ?STR)
    (names ?STR ?PLACE))
Mid-level-ontology.kif 22375-22377
(=>
    (termFormat ?TERM ?LANGUAGE ?STRING)
    (names ?STRING ?TERM))
Media.kif 31-33

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


(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (names "Montenegro" Montenegro))
Media.kif 2509-2510 Montenegro 的名 是 "Montenegro" 在 3 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (names "Republic of Serbia" Serbia))
Media.kif 2494-2495 Serbia 的名 是 "Republic of Serbia" 在 5 day 之后 holdsDuring

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


(names "Adana" AdanaTurkey) CountriesAndRegions.kif 2496-2496 AdanaTurkey 的名 是 "Adana"
(names "Addis Ababa" AddisAbabaEthiopia) CountriesAndRegions.kif 2498-2498 AddisAbabaEthiopia 的名 是 "Addis Ababa"
(names "Aden" AdenYemen) CountriesAndRegions.kif 2500-2500 AdenYemen 的名 是 "Aden"
(names "Adora" AdoraWestBank) CountriesAndRegions.kif 2502-2502 AdoraWestBank 的名 是 "Adora"
(names "Advanced Developing Country" AdvancedDevelopingCountry) Economy.kif 352-352 AdvancedDevelopingCountry 的名 是 "Advanced Developing Country"
(names "Afghanistan" Afghanistan) CountriesAndRegions.kif 4161-4161 Afghanistan 的名 是 "Afghanistan"
(names "Africa" Africa) Geography.kif 3368-3368 Africa 的名 是 "Africa"
(names "Afula" AfulaIsrael) CountriesAndRegions.kif 2504-2504 AfulaIsrael 的名 是 "Afula"
(names "Agri" AgriTurkey) CountriesAndRegions.kif 2506-2506 AgriTurkey 的名 是 "Agri"
(names "Ain Defla" AinDeflaAlgeria) CountriesAndRegions.kif 2508-2508 AinDeflaAlgeria 的名 是 "Ain Defla"
(names "Ain el Hajar" AinElHajarAlgeria) CountriesAndRegions.kif 2510-2510 AinElHajarAlgeria 的名 是 "Ain el Hajar"
(names "Ajaccio" AjaccioFrance) CountriesAndRegions.kif 2512-2512 AjaccioFrance 的名 是 "Ajaccio"
(names "Al-Balamand " AlBalamandLebanon) CountriesAndRegions.kif 2514-2514 AlBalamandLebanon 的名 是 "Al-Balamand "
(names "Albania" Albania) CountriesAndRegions.kif 4065-4065 Albania 的名 是 "Albania"
(names "Alei Sinai" AleiSinaiGazaStrip) CountriesAndRegions.kif 2516-2516 AleiSinaiGazaStrip 的名 是 "Alei Sinai"
(names "Alei Zahav" AleiZahavWestBank) CountriesAndRegions.kif 2518-2518 AleiZahavWestBank 的名 是 "Alei Zahav"
(names "Aley" AleyLebanon) CountriesAndRegions.kif 2520-2520 AleyLebanon 的名 是 "Aley"
(names "Algeria" Algeria) CountriesAndRegions.kif 3947-3947 Algeria 的名 是 "Algeria"
(names "Algiers" AlgiersAlgeria) CountriesAndRegions.kif 2522-2522 AlgiersAlgeria 的名 是 "Algiers"
(names "Alkhan-Yurt" AlkhanYurtRussia) CountriesAndRegions.kif 2524-2524 AlkhanYurtRussia 的名 是 "Alkhan-Yurt"
(names "Alon Moreh" AlonMorehWestBank) CountriesAndRegions.kif 2526-2526 AlonMorehWestBank 的名 是 "Alon Moreh"
(names "Ambon" AmbonIndonesia) CountriesAndRegions.kif 2528-2528 AmbonIndonesia 的名 是 "Ambon"
(names "American Samoa" AmericanSamoa) CountriesAndRegions.kif 4195-4195 AmericanSamoa 的名 是 "American Samoa"
(names "Amman" AmmanJordan) CountriesAndRegions.kif 2530-2530 AmmanJordan 的名 是 "Amman"
(names "An Nuwaydirat" AnNuwaydiratBahrain) CountriesAndRegions.kif 2532-2532 AnNuwaydiratBahrain 的名 是 "An Nuwaydirat"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners