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

Formal Language: 



KB Term:  Term intersection
English Word: 

  nameBeforeKeyName

Sigma KEE - nameBeforeKeyName
nameBeforeKeyName

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


(documentation nameBeforeKeyName EnglishLanguage "(nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) means that ?STRING and ?KEY are subStrings of ?NAMESTRING, and ?STRING occurs before ?KEY in ?NAMESTRING.") Media.kif 3397-3400
(domain nameBeforeKeyName 1 SymbolicString) Media.kif 3393-3393 nameBeforeKeyName の数値 1 引数は 記号文字列instance では %n
(domain nameBeforeKeyName 2 SymbolicString) Media.kif 3394-3394 nameBeforeKeyName の数値 2 引数は 記号文字列instance では %n
(domain nameBeforeKeyName 3 SymbolicString) Media.kif 3395-3395 nameBeforeKeyName の数値 3 引数は 記号文字列instance では %n
(instance nameBeforeKeyName TernaryPredicate) Media.kif 3392-3392 nameBeforeKeyName3進述語instance では %n
(subrelation nameBeforeKeyName precedesInString) Media.kif 3396-3396 nameBeforeKeyNameprecedesInStringsubrelation では %n

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


(format ChineseLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ") domainEnglishFormat.kif 3950-3950
(format ChineseTraditionalLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ") domainEnglishFormat.kif 3949-3949
(format EnglishLanguage nameBeforeKeyName "%1 is before key %2 in %3") domainEnglishFormat.kif 3948-3948
(termFormat EnglishLanguage nameBeforeKeyName "name before key name") domainEnglishFormat.kif 65882-65882

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


(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
        (not
            (equal ?STRING ?KEY)))
    (not
        (nameIndexOrder ?NAMESTRING ?OBJ)))
Media.kif 3406-3411
(=>
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3402-3404

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