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

KB Term:  Term intersection
English Word: 

Sigma KEE - familyName
familyName

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


(instance familyName BinaryPredicate) Mid-level-ontology.kif 16328-16328 family name is an instance of binary predicate
(instance familyName AsymmetricRelation) Mid-level-ontology.kif 16329-16329 family name is an instance of asymmetric relation
(domain familyName 1 SymbolicString) Mid-level-ontology.kif 16330-16330 The number 1 argument of family name is an instance of symbolic string
(domain familyName 2 Human) Mid-level-ontology.kif 16331-16331 The number 2 argument of family name is an instance of human
(subrelation familyName names) Mid-level-ontology.kif 16332-16332 family name is a subrelation of names
(documentation familyName EnglishLanguage "(familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non-optional name that ?HUMAN has inherited by virtue of being born into a particular family (kin group). surname is another word for this type of name. Cf. givenName.") Mid-level-ontology.kif 16333-16337 family name is a subrelation of names
(subrelation familyName humanName) Media.kif 3358-3358 family name is a subrelation of human name

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


(format EnglishLanguage familyName "%1 is %n a family name of %2") domainEnglishFormat.kif 993-993
(format ChineseTraditionalLanguage familyName "%1 %n 是 %2 的 family name ") domainEnglishFormat.kif 994-994
(format ChineseLanguage familyName "%1 %n 是 %2 的 family name ") domainEnglishFormat.kif 995-995
(termFormat EnglishLanguage familyName "family name") domainEnglishFormat.kif 23212-23212
(termFormat ChineseTraditionalLanguage familyName "姓") domainEnglishFormat.kif 23213-23213
(termFormat ChineseLanguage familyName "姓") domainEnglishFormat.kif 23214-23214

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3367-3372 If X is called Y, Z is a family name of X, and Z is a sub-string of Y, then Z is a key in Y


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