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

Formal Language: 



KB Term:  Term intersection
English Word: 

  crosses

 Sigma KEE - crosses
crosses

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


(disjointRelation crosses connected) Merge.kif 4017-4017 crosses and connected are disjoint
(documentation crosses ChineseLanguage "(crosses ?OBJ1 ?OBJ2) 的意思是 Object ?OBJ1 traverses 物体 ?OBJ2，但是并没有和它 connected。") chinese_format.kif 2127-2128
(documentation crosses EnglishLanguage "(crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it.") Merge.kif 4019-4021
(instance crosses AsymmetricRelation) Merge.kif 4015-4015 crosses is an instance of asymmetric relation
(instance crosses TransitiveRelation) Merge.kif 4016-4016 crosses is an instance of transitive relation
(subrelation crosses traverses) Merge.kif 4014-4014 crosses is a subrelation of traverses

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


(format ChineseLanguage crosses "%1 %n{doesn't} crosses %2") chinese_format.kif 205-205
(format EnglishLanguage crosses "%1 %n{doesn't} crosse%p{s} %2") english_format.kif 209-209
(termFormat ChineseLanguage crosses "十字架") domainEnglishFormat.kif 17797-17797
(termFormat ChineseLanguage crosses "横过") chinese_format.kif 206-206
(termFormat ChineseTraditionalLanguage crosses "十字架") domainEnglishFormat.kif 17796-17796
(termFormat EnglishLanguage crosses "crosses") domainEnglishFormat.kif 17795-17795

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


(=>
    (instance ?C Chain)
    (exists (?CL1 ?CL2 ?CL3)
        (and
            (instance ?CL1 ChainLink)
            (instance ?CL2 ChainLink)
            (instance ?CL3 ChainLink)
            (not
                (equal ?CL1 ?CL2))
            (not
                (equal ?CL2 ?CL3))
            (not
                (equal ?CL3 ?CL1))
            (crosses ?CL1 ?CL2)
            (crosses ?CL2 ?CL3)
            (not
                (crosses ?CL1 ?CL3)))))		 Cars.kif 4364-4380
(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
        (crosses ?OBJ1 ?OBJ2)
        (penetrates ?OBJ1 ?OBJ2)))		 Merge.kif 4008-4012


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners