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

KB Term:  Term intersection
English Word: 

Sigma KEE - fullName
fullName

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


(instance fullName BinaryPredicate) Mid-level-ontology.kif 29804-29804 full name is an instance of binary predicate
(instance fullName AsymmetricRelation) Mid-level-ontology.kif 29805-29805 full name is an instance of asymmetric relation
(domain fullName 1 SymbolicString) Mid-level-ontology.kif 29806-29806 The number 1 argument of full name is an instance of symbolic string
(domain fullName 2 Entity) Mid-level-ontology.kif 29807-29807 The number 2 argument of full name is an instance of entity
(subrelation fullName names) Mid-level-ontology.kif 29808-29808 full name is a subrelation of names
(documentation fullName EnglishLanguage "(fullName ?STRING ?OBJ) means that ?STRING is a (more or less) complete name for ?OBJ, having all of the parts (fields, name components) possible for ?OBJ's name. The parts of ?STRING, if any, may be in conventional order, or in indexed (for alphabetic sorting) order. Examples: George W. Bush, The White House, The United Kingdom of Great Britain and Northern Ireland.") Mid-level-ontology.kif 29809-29815 full name is a subrelation of names

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


(subrelation conventionalLongName fullName) Mid-level-ontology.kif 29816-29816 official name is a subrelation of full name
(subrelation fullNameIndexOrder fullName) Media.kif 3225-3225 full name index order is a subrelation of full name
(format EnglishLanguage fullName "the full name of %2 is %1") domainEnglishFormat.kif 3502-3502 full name index order is a subrelation of full name
(format ChineseTraditionalLanguage fullName "%2 的 full name 是 %1 ") domainEnglishFormat.kif 3503-3503 full name index order is a subrelation of full name
(format ChineseLanguage fullName "%2 的 full name 是 %1 ") domainEnglishFormat.kif 3504-3504 full name index order is a subrelation of full name
(termFormat EnglishLanguage fullName "full name") domainEnglishFormat.kif 65848-65848 full name index order is a subrelation of full name

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


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3227-3232 If the full name of X is Y, Z is a key in Y, and the concatenation of Z and W is Y, then the index order name of X is Y
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (fullName ?NAMESTRING ?THING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3270-3274 If X is the indexable name for Y and the full name of Y is X, then the index order name of Y is X


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners