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 3385-3388
(domain nameBeforeKeyName 1 SymbolicString) Media.kif 3381-3381 domain nameBeforeKeyName, 1 and SymbolicString
(domain nameBeforeKeyName 2 SymbolicString) Media.kif 3382-3382 domain nameBeforeKeyName, 2 and SymbolicString
(domain nameBeforeKeyName 3 SymbolicString) Media.kif 3383-3383 domain nameBeforeKeyName, 3 and SymbolicString
(instance nameBeforeKeyName TernaryPredicate) Media.kif 3380-3380 instance nameBeforeKeyName and TernaryPredicate
(subrelation nameBeforeKeyName precedesInString) Media.kif 3384-3384 subrelation nameBeforeKeyName and 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

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