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

Formal Language: 



KB Term:  Term intersection
English Word: 

  familyName

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 14190-14194
(domain familyName 1 SymbolicString) Mid-level-ontology.kif 14187-14187 domain familyName, 1 and SymbolicString
(domain familyName 2 Human) Mid-level-ontology.kif 14188-14188 domain familyName, 2 and Human
(instance familyName AsymmetricRelation) Mid-level-ontology.kif 14186-14186 instance familyName and AsymmetricRelation
(instance familyName BinaryPredicate) Mid-level-ontology.kif 14185-14185 instance familyName and BinaryPredicate
(subrelation familyName humanName) Media.kif 3431-3431 subrelation familyName and humanName
(subrelation familyName names) Mid-level-ontology.kif 14189-14189 subrelation familyName and 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 23211-23211
(termFormat ChineseTraditionalLanguage familyName "姓") domainEnglishFormat.kif 23210-23210
(termFormat EnglishLanguage familyName "family name") domainEnglishFormat.kif 23209-23209

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


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


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 is open source software produced by Articulate Software and its partners