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

Formal Language: 



KB Term:  Term intersection
English Word: 

  nameAfterKeyName

Sigma KEE - nameAfterKeyName
nameAfterKeyName

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


(documentation nameAfterKeyName EnglishLanguage "(nameAfterKeyName ?STRING ?KEY ?NAMESTRING) means that ?STRING and ?KEY are subStrings of ?NAMESTRING, and ?STRING occurs after ?KEY in ?NAMESTRING.") Media.kif 3353-3356
(domain nameAfterKeyName 1 SymbolicString) Media.kif 3350-3350 The number 1 argument of nameAfterKeyName is an instance of symbolic string
(domain nameAfterKeyName 2 SymbolicString) Media.kif 3351-3351 The number 2 argument of nameAfterKeyName is an instance of symbolic string
(domain nameAfterKeyName 3 SymbolicString) Media.kif 3352-3352 The number 3 argument of nameAfterKeyName is an instance of symbolic string
(instance nameAfterKeyName TernaryPredicate) Media.kif 3349-3349 nameAfterKeyName is an instance of ternary predicate

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


(format ChineseLanguage nameAfterKeyName "%1 是 after key %2 在 %3 ") domainEnglishFormat.kif 3951-3951
(format ChineseTraditionalLanguage nameAfterKeyName "%1 是 after key %2 在 %3 ") domainEnglishFormat.kif 3950-3950
(format EnglishLanguage nameAfterKeyName "%1 is after key %2 in %3") domainEnglishFormat.kif 3949-3949

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


(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (or
            (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
            (equal ?STRING ?KEY)))
    (nameIndexOrder ?NAMESTRING ?OBJ))
Media.kif 3362-3368
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3358-3360
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (precedesInString ?KEY ?STRING ?NAMESTRING))
Media.kif 3370-3372

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