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 3385-3388
(domain nameBeforeKeyName 1 SymbolicString) Media.kif 3381-3381 The number 1 argument of nameBeforeKeyName is an instance of symbolic string
(domain nameBeforeKeyName 2 SymbolicString) Media.kif 3382-3382 The number 2 argument of nameBeforeKeyName is an instance of symbolic string
(domain nameBeforeKeyName 3 SymbolicString) Media.kif 3383-3383 The number 3 argument of nameBeforeKeyName is an instance of symbolic string
(instance nameBeforeKeyName TernaryPredicate) Media.kif 3380-3380 nameBeforeKeyName is an instance of ternary predicate
(subrelation nameBeforeKeyName precedesInString) Media.kif 3384-3384 nameBeforeKeyName is a subrelation of precedesInString

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 3394-3399
(=>
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3390-3392

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


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


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