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


KB Term:  Term intersection
English Word: 

  names

 Sigma KEE - names
names

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


(subrelation names refers) Merge.kif 4538-4538 names is a subrelation of refers
(instance names BinaryPredicate) Merge.kif 4539-4539 names is an instance of binary predicate
(domain names 1 SymbolicString) Merge.kif 4540-4540 The number 1 argument of names is an instance of symbolic string
(domain names 2 Entity) Merge.kif 4541-4541 The number 2 argument of names is an instance of entity
(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 4543-4547 The number 2 argument of names is an instance of entity

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


(subrelation uniqueIdentifier names) Merge.kif 4549-4549 unique identifier is a subrelation of names
(subrelation titles names) Mid-level-ontology.kif 16310-16310 titles is a subrelation of names
(subrelation formerName names) Mid-level-ontology.kif 16323-16323 former name is a subrelation of names
(subrelation familyName names) Mid-level-ontology.kif 16332-16332 family name is a subrelation of names
(subrelation middleName names) Mid-level-ontology.kif 16345-16345 middle name is a subrelation of names
(subrelation givenName names) Mid-level-ontology.kif 16349-16349 given name is a subrelation of names
(subrelation localLongName names) Mid-level-ontology.kif 16364-16364 local long name is a subrelation of names
(subrelation localShortName names) Mid-level-ontology.kif 16369-16369 local short name is a subrelation of names
(subrelation alias names) Mid-level-ontology.kif 25532-25532 alias is a subrelation of names
(subrelation fullName names) Mid-level-ontology.kif 29808-29808 full name is a subrelation of names
(subrelation conventionalLongName names) Mid-level-ontology.kif 29825-29825 official name is a subrelation of names
(subrelation conventionalShortName names) Mid-level-ontology.kif 29836-29836 acronym is a subrelation of names
(subrelation nameIndexOrder names) Media.kif 3252-3252 name index order is a subrelation of names
(subrelation agentName names) Media.kif 3339-3339 agent name is a subrelation of names
(subrelation userName names) QoSontology.kif 2182-2182 user name is a subrelation of names
(subrelation password names) QoSontology.kif 2219-2219 password is a subrelation of names
(subrelation filename names) QoSontology.kif 2329-2329 filename is a subrelation of names
(termFormat EnglishLanguage names "names") domainEnglishFormat.kif 39673-39673 filename is a subrelation of names
(termFormat ChineseTraditionalLanguage names "名") domainEnglishFormat.kif 39674-39674 filename is a subrelation of names
(termFormat ChineseLanguage names "名") domainEnglishFormat.kif 39675-39675 filename is a subrelation of names
(format EnglishLanguage names "%2 %n{doesn't have} %p{has} name %1") english_format.kif 314-314 filename is a subrelation of names

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


(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3254-3259 If X has name Y, Z is a key in Y, and the concatenation of Z and W is Y, then Y is the indexable name for X
(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (or
            (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
            (equal ?STRING ?KEY)))
    (nameIndexOrder ?NAMESTRING ?OBJ))		 Media.kif 3289-3295 If X has name Y and Z is after key W in Y or equal Z and W, then Y is the indexable name for X
(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
        (not
            (equal ?STRING ?KEY)))
    (not
        (nameIndexOrder ?NAMESTRING ?OBJ)))		 Media.kif 3321-3326 If X has name Y, Z is before key W in Y, and equal Z and W, then Y is the indexable name for X
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ AutonomousAgent))
    (agentName ?STRING ?OBJ))		 Media.kif 3344-3348 If X has name Y and X is an instance of agent, then the name of X is Y
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))		 Media.kif 3361-3365 If X has name Y and X is an instance of human, then X is called Y
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Organization))
    (organizationName ?STRING ?OBJ))		 Media.kif 3395-3399 If X has name Y and X is an instance of organization, then X is called Y

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


(=>
    (and
        (instance ?PROCESS Naming)
        (patient ?PROCESS ?THING)
        (destination ?PROCESS ?NAME))
    (holdsDuring
        (FutureFn
            (WhenFn ?PROCESS))
        (names ?NAME ?THING)))		 Merge.kif 13561-13569 If X is an instance of naming, Y is a patient of X, and X ends up at Z, then Y has name Z holds during after the time of existence of X
(=>
    (canonicalPlaceName ?PLACE ?LANG ?STR)
    (names ?STR ?PLACE))		 Mid-level-ontology.kif 26875-26877 If X is called Y in Z, then Y has name X
(=>
    (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 26914-26925 If the unit number of X is Y and Z is the floor of X, then All of the following hold: (1) there exist W (2) V such that V is an instance of building level (3) W is an instance of room (4) W is located at V (5) V is a part of X (6) W has name Y (7) V has name Z
(=>
    (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 26927-26937 If the unit number of X is Y and there doesn't exist Z such that Z is the floor of X, then there exists W such that W is an instance of room, W has name Y, and W is located at X
(=>
    (termFormat ?TERM ?LANGUAGE ?STRING)
    (names ?STRING ?TERM))		 Media.kif 31-33 If X is the printable form of Y in Z, then Z has name X
(=>
    (instance ?C CommunitySpread)
    (not
        (exists (?H)
            (knows ?H
                (exists (?N)
                    (and
                        (origin ?C ?H)
                        (names ?N ?H)))))))		 Medicine.kif 3228-3236 If X is an instance of community spread, then there doesn't exist Y such that Y knows there exists Z such that X originates at Y and Y has name Z

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


(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2453-2456 Serbia has name "Republic of Serbia" and X is an instance of the day 5 of month the month June holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2480-2483 X is an instance of the day 3 of month the month June and Montenegro has name "Montenegro" holds during after X

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


(names "mph" MilesPerHour) Merge.kif 11528-11528 Miles per hour has name "mph"
(names "salt" SodiumChloride) Mid-level-ontology.kif 10114-10114 Salt has name "salt"
(names "NaCl" SodiumChloride) Mid-level-ontology.kif 10115-10115 Salt has name "NaCl"
(names "Registry Ton" RegistryTon) Mid-level-ontology.kif 15255-15255 Registry ton has name "Registry Ton"
(names "Gross Ton" RegistryTon) Mid-level-ontology.kif 15256-15256 Registry ton has name "Gross Ton"
(names "Hydrogen" Hydrogen) Mid-level-ontology.kif 29894-29894 Hydrogen has name "Hydrogen"
(names "Helium" Helium) Mid-level-ontology.kif 29910-29910 Helium has name "Helium"
(names "Lithium" Lithium) Mid-level-ontology.kif 29926-29926 Lithium has name "Lithium"
(names "Beryllium" Beryllium) Mid-level-ontology.kif 29940-29940 Beryllium has name "Beryllium"
(names "Boron" Boron) Mid-level-ontology.kif 29956-29956 Boron has name "Boron"
(names "Carbon" Carbon) Mid-level-ontology.kif 29975-29975 Carbon has name "Carbon"
(names "Nitrogen" Nitrogen) Mid-level-ontology.kif 29993-29993 Nitrogen has name "Nitrogen"
(names "Oxygen" Oxygen) Mid-level-ontology.kif 30011-30011 Oxygen has name "Oxygen"
(names "Fluorine" Fluorine) Mid-level-ontology.kif 30031-30031 Fluorine has name "Fluorine"
(names "Neon" Neon) Mid-level-ontology.kif 30048-30048 Neon has name "Neon"
(names "Sodium" Sodium) Mid-level-ontology.kif 30066-30066 Sodium has name "Sodium"
(names "Magnesium" Magnesium) Mid-level-ontology.kif 30082-30082 Magnesium has name "Magnesium"
(names "Aluminum" Aluminum) Mid-level-ontology.kif 30100-30100 Aluminum has name "Aluminum"
(names "Silicon" Silicon) Mid-level-ontology.kif 30118-30118 Silicon has name "Silicon"
(names "Phosphorus" Phosphorus) Mid-level-ontology.kif 30135-30135 Phosphorus has name "Phosphorus"
(names "Sulphur" Sulphur) Mid-level-ontology.kif 30150-30150 Sulphur has name "Sulphur"
(names "Chlorine" Chlorine) Mid-level-ontology.kif 30166-30166 Chlorine has name "Chlorine"
(names "Argon" Argon) Mid-level-ontology.kif 30183-30183 Argon has name "Argon"
(names "Potassium" Potassium) Mid-level-ontology.kif 30198-30198 Potassium has name "Potassium"
(names "Calcium" Calcium) Mid-level-ontology.kif 30214-30214 Calcium has name "Calcium"

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners