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 domain nameAfterKeyName, 1 and SymbolicString
(domain nameAfterKeyName 2 SymbolicString) Media.kif 3351-3351 domain nameAfterKeyName, 2 and SymbolicString
(domain nameAfterKeyName 3 SymbolicString) Media.kif 3352-3352 domain nameAfterKeyName, 3 and SymbolicString
(instance nameAfterKeyName TernaryPredicate) Media.kif 3349-3349 instance nameAfterKeyName and TernaryPredicate

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