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 14753-14757
(domain familyName 1 SymbolicString) Mid-level-ontology.kif 14750-14750 Le nombre 1 argument de familyName est une instance de cha�ne sympbolique
(domain familyName 2 Human) Mid-level-ontology.kif 14751-14751 Le nombre 2 argument de familyName est une instance de humain
(instance familyName AsymmetricRelation) Mid-level-ontology.kif 14749-14749 familyName est une instance de relation asym�trique
(instance familyName BinaryPredicate) Mid-level-ontology.kif 14748-14748 familyName est une instance de pr�dicat binaire
(subrelation familyName humanName) Media.kif 3425-3425 familyName est une sous-relation de humanName
(subrelation familyName names) Mid-level-ontology.kif 14752-14752 familyName est une sous-relation de 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 23218-23218
(termFormat ChineseTraditionalLanguage familyName "姓") domainEnglishFormat.kif 23217-23217
(termFormat EnglishLanguage familyName "family name") domainEnglishFormat.kif 23216-23216

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


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


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