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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyJunction
BodyJunction(body junction)
Rolando's_fissure, Sylvian_fissure, anterior_fontanelle, articular, articulary, articulatio_humeri, articulatio_plana, articulatio_spheroidea, articulatio_synovialis, articulatio_temporomandibularis, articulatio_trochoidea, articulatory_system, ball-and-socket_joint, bregma, calcarine_fissure, calcarine_sulcus, canthus, central_sulcus, cleavage, coronal_suture, cotyloid_joint, dacryon, diarthrosis, elbow, enarthrodial_joint, enarthrosis, esophagogastric_junction, fetlock, fetlock_joint, fibrous_joint, fissure, fissure_of_Rolando, fissure_of_Sylvius, fontanel, fontanelle, frontal_suture, ginglymoid_joint, ginglymus, gliding_joint, hairline, hilar, hilum, hinge_joint, hock, hock-joint, intermaxillary_suture, internasal_suture, interparietal_suture, interphalangeal_joint, lambda...

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


(documentation BodyJunction ChineseLanguage "这是两个 BodyPart 接触或相连的部位。") chinese_format.kif 3513-3513
(documentation BodyJunction EnglishLanguage "The place where two BodyParts meet or connect.") Merge.kif 14822-14823
(externalImage BodyJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Knee_diagram.png/ 250px-Knee_diagram.png") pictureList.kif 1052-1052
(subclass BodyJunction BodyPart) Merge.kif 14821-14821 Body junction is a subclass of body part

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


(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 11188-11188 Body joint is a subclass of body junction
(termFormat ChineseLanguage BodyJunction "身体连接处") chinese_format.kif 1020-1020
(termFormat EnglishLanguage BodyJunction "body junction") english_format.kif 1252-1252

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


(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 14825-14831


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