TreeView Knowledge Base Browser - humanName

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - humanName

humanName

appearance as argument number 1

(documentation humanName EnglishLanguage "(humanName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Human ?OBJ.")	Media.kif 3422-3424
(domain humanName 1 SymbolicString)	Media.kif 3419-3419	域 humanName, 1 and SymbolicString
(domain humanName 2 Human)	Media.kif 3420-3420	域 humanName, 2 and Human
(instance humanName AsymmetricRelation)	Media.kif 3418-3418	例 humanName and AsymmetricRelation
(instance humanName BinaryPredicate)	Media.kif 3417-3417	例 humanName and BinaryPredicate
(subrelation humanName agentName)	Media.kif 3421-3421	子關係 humanName and agentName

appearance as argument number 2

(format ChineseLanguage humanName "%2 是 called %1")	domainEnglishFormat.kif 3678-3678
(format ChineseTraditionalLanguage humanName "%2 是 called %1 ")	domainEnglishFormat.kif 3677-3677
(format EnglishLanguage humanName "%2 is called %1")	domainEnglishFormat.kif 3676-3676
(subrelation familyName humanName)	Media.kif 3425-3425	子關係姓 and humanName
(subrelation givenName humanName)	Media.kif 3426-3426	子關係給予的名稱 and humanName
(termFormat EnglishLanguage humanName "human name")	domainEnglishFormat.kif 65857-65857

antecedent

(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING))	Media.kif 3434-3439	Human 是 called SymbolicString SymbolicString 是 Human 的 family name SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是在 SymbolicString 的 key
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3443-3448	Human 是 called SymbolicString SymbolicString 是 Human 的 given name SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是在 SymbolicString 的 key

consequent

(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))

Media.kif 3428-3432

名 SymbolicString and Human 例 Human and Human
Human 是 called SymbolicString

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