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 14726-14730
(domain familyName 1 SymbolicString) Mid-level-ontology.kif 14723-14723 familyName の数値 1 引数は 記号文字列instance では %n
(domain familyName 2 Human) Mid-level-ontology.kif 14724-14724 familyName の数値 2 引数は 人[人間]instance では %n
(instance familyName AsymmetricRelation) Mid-level-ontology.kif 14722-14722 familyName非対称関係instance では %n
(instance familyName BinaryPredicate) Mid-level-ontology.kif 14721-14721 familyName2進述語instance では %n
(subrelation familyName humanName) Media.kif 3443-3443 familyNamehumanNamesubrelation では %n
(subrelation familyName names) Mid-level-ontology.kif 14725-14725 familyNamenamessubrelation では %n

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 3452-3457


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