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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3367-3370
(domain nameBeforeKeyName 1 SymbolicString) Media.kif 3363-3363
(domain nameBeforeKeyName 2 SymbolicString) Media.kif 3364-3364
(domain nameBeforeKeyName 3 SymbolicString) Media.kif 3365-3365
(instance nameBeforeKeyName TernaryPredicate) Media.kif 3362-3362
(subrelation nameBeforeKeyName precedesInString) Media.kif 3366-3366

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


(format ChineseLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ") domainEnglishFormat.kif 3955-3955
(format ChineseTraditionalLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ") domainEnglishFormat.kif 3954-3954
(format EnglishLanguage nameBeforeKeyName "%1 is before key %2 in %3") domainEnglishFormat.kif 3953-3953

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


(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
        (not
            (equal ?STRING ?KEY)))
    (not
        (nameIndexOrder ?NAMESTRING ?OBJ)))
Media.kif 3376-3381
(=>
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3372-3374

consequent
-------------------------


(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3383-3387


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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