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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - familyName
familyName

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


(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 12470-12474
(domain familyName 1 SymbolicString) Mid-level-ontology.kif 12467-12467 The number 1 argument of family name is an instance of symbolic string
(domain familyName 2 Human) Mid-level-ontology.kif 12468-12468 The number 2 argument of family name is an instance of human
(instance familyName AsymmetricRelation) Mid-level-ontology.kif 12466-12466 family name is an instance of asymmetric relation
(instance familyName BinaryPredicate) Mid-level-ontology.kif 12465-12465 family name is an instance of binary predicate
(subrelation familyName humanName) Media.kif 3411-3411 family name is a subrelation of humanName
(subrelation familyName names) Mid-level-ontology.kif 12469-12469 family name is a subrelation of names

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


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

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3420-3425


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