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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasure

 Sigma KEE - crosses
crosses

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


(disjointRelation crosses connected) Merge.kif 4305-4305
(documentation crosses ChineseLanguage "(crosses ?OBJ1 ?OBJ2) 的意思是 Object ?OBJ1 traverses 物体 ?OBJ2，但是并没有和它 connected。") Merge.kif 4309-4310
(documentation crosses EnglishLanguage "(crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it.") Merge.kif 4306-4308
(instance crosses AsymmetricRelation) Merge.kif 4303-4303
(instance crosses TransitiveRelation) Merge.kif 4304-4304
(subrelation crosses traverses) Merge.kif 4302-4302

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 129-129
(format FrenchLanguage crosses "%1 %n{ne} croise %n{pas} %2") french_format.kif 122-122
(format ItalianLanguage crosses "%1 incrocia %2") relations-it.txt 62-62
(format PortugueseLanguage crosses "%1 %n{nao} cruza %n %2") portuguese_format.kif 74-74
(format ar crosses "%1 %n{لا} يَجْتَاز %2") arabic_format.kif 72-72
(format cb crosses "%1 mingtabok %2") relations-cb.txt 96-96
(format de crosses "%1 kreuzt %2") relations-de.txt 264-264
(format hi crosses "%1 %2 ko paara karataa hai") relations-hindi.txt 103-103
(format tg crosses "%1 tumatawid %2") relations-tg.txt 140-140
(termFormat ChineseLanguage crosses "横过") chinese_format.kif 206-206
(termFormat EnglishLanguage crosses "crosses") domainEnglishFormat.kif 3400-3400
(termFormat ar crosses "«يَجْتَاز»") arabic_format.kif 522-522
(termFormat tg crosses "tumatawid") relations-tg.txt 141-141

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 4396-4412
(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
        (crosses ?OBJ1 ?OBJ2)
        (penetrates ?OBJ1 ?OBJ2)))		 Merge.kif 4296-4300


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