antecedent

(=>     (instance ?CC ComputerCable)     (exists (?C)         (and             (instance ?C Cable)             (part ?C ?CC))))	ComputingBrands.kif 2639-2644	If X is an instance of cable, then there exists Y such that Y is an instance of cable and Y is a part of X
(=>     (instance ?CC ComputerCable)     (exists (?C1 ?C2)         (and             (instance ?C1 EngineeringComponent)             (instance ?C2 EngineeringComponent)             (not                 (equal ?C1 ?C2))             (part ?C1 ?CC)             (part ?C2 ?CC))))	ComputingBrands.kif 2646-2655	If X is an instance of cable, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of engineering component (3) Z is an instance of engineering component (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X
(=>     (and         (instance ?CC ComputerCable)         (not             (instance ?C Cable))         (part ?C ?CC))     (or         (instance ?C MaleConnector)         (instance ?C FemaleConnector)))	ComputingBrands.kif 2657-2665	If X is an instance of cable, Y is not an instance of cable, and Y is a part of X, then Y is an instance of 公 or Y is an instance of female

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners