connectedBodyPart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation connectedBodyPart EnglishLanguage "A Relation between Classes of parts of a Healthy Animal that are connected.")	Mid-level-ontology.kif 11957-11958
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11961-11961	The number 1 argument of connected is a subclass of body part
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11962-11962	The number 2 argument of connected is a subclass of body part
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11956-11956	connected is an instance of binary predicate
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11955-11955	connected is an instance of transitive relation

appearance as argument number 2

(format EnglishLanguage connectedBodyPart "a %1 is connected to a %2")	Mid-level-ontology.kif 11959-11959
(termFormat EnglishLanguage connectedBodyPart "connected")	Mid-level-ontology.kif 11960-11960

antecedent

(=>
    (and
        (connectedBodyPart ?A ?B)
        (attribute ?H Healthy))
    (exists (?AI ?BI)
        (and
            (instance ?AI ?A)
            (instance ?BI ?B)
            (part ?AI ?H)
            (part ?BI ?H)
            (connected ?AI ?BI))))

Mid-level-ontology.kif 11966-11976

If a a kind of body part is connected to a another kind of body part and healthy is an attribute of an object,
then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of the object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI

consequent

(=> (and (instance ?R CervicalVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S CervicalVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R))))	Anatomy.kif 561-574	If a kind of body part is an instance of cervical vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of cervical vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
(=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connectedBodyPart ?S ?R)))))	Anatomy.kif 505-517	If a kind of body part is an instance of costae spuriae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there doesn't exist another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
(=> (and (instance ?R LumbarVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S LumbarVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R))))	Anatomy.kif 601-614	If a kind of body part is an instance of lumbar vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of lumbar vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
(=> (and (instance ?R ThoracicVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S ThoracicVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R))))	Anatomy.kif 669-682	If a kind of body part is an instance of thoracic vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of thoracic vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
(=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connectedBodyPart ?S ?R))))	Anatomy.kif 492-503	If a kind of body part is an instance of costae verae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1741-1743	If the insertion point of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part
(=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1691-1693	If the origin of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part

appearance as argument number 0

(connectedBodyPart Esophagus Stomach)	Mid-level-ontology.kif 12063-12063	A esophagus is connected to a stomach
(connectedBodyPart Intestine Rectum)	Mid-level-ontology.kif 12065-12065	A intestine is connected to a rectum
(connectedBodyPart Mouth Esophagus)	Mid-level-ontology.kif 12062-12062	A mouth is connected to a esophagus
(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 12089-12089	A mouth is connected to a trachea
(connectedBodyPart Nose Trachea)	Mid-level-ontology.kif 12090-12090	A nose is connected to a trachea
(connectedBodyPart Rectum Anus)	Mid-level-ontology.kif 12066-12066	A rectum is connected to a anus
(connectedBodyPart Stomach Intestine)	Mid-level-ontology.kif 12064-12064	A stomach is connected to a intestine
(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 12091-12091	A trachea is connected to a lung

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

KB Term:			Term intersection

English Word: