EngineeringConnection - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EngineeringConnection EngineeringComponent)	Merge.kif 16473-16473	Engineering connection is a subclass of engineering component
(documentation EngineeringConnection EnglishLanguage "An EngineeringConnection is an EngineeringComponent that represents a connection relationship between two other EngineeringComponents. It is a reification of the Predicate connectedEngineeringComponents. That means that whenever this Predicate holds between two EngineeringComponents, there exists an EngineeringConnection. The practical reason for reifying a relationship is to be able to attach other information about it. For example, one might want to say that a particular connection is associated with some shared parameters, or that it is of a particular type. EngineeringConnections are EngineeringComponents and can therefore be an engineeringSubcomponent of other EngineeringComponents. However, to provide for modular regularity in component systems, EngineeringConnections cannot be connected. For each pair of EngineeringComponents related by connectedEngineeringComponents, there exists at least one EngineeringConnection. However, that object may not be unique, and the same EngineeringConnection may be associated with several pairs of EngineeringComponents.")	Merge.kif 16474-16490	Engineering connection is a subclass of engineering component

appearance as argument number 2

(subclass InternetConnection EngineeringConnection)	Hotel.kif 1398-1398	Internet connection is a subclass of engineering connection
(subclass Cable EngineeringConnection)	Hotel.kif 1409-1409	Cable is a subclass of engineering connection
(termFormat EnglishLanguage EngineeringConnection "engineering connection")	english_format.kif 1339-1339	Cable is a subclass of engineering connection

appearance as argument number 3

antecedent

(=>
    (instance ?CONNECTION EngineeringConnection)
    (exists (?COMP1 ?COMP2)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

If X is an instance of engineering connection, then there exist Y, Z such that X connects Y, and Z

consequent

(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (not
        (or
            (instance ?COMP1 EngineeringConnection)
            (instance ?COMP2 EngineeringConnection))))