(DEFINE-PRIMITIVE-ROLE IMPLEMENTATION :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE IS-IMPLEMENTING :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE ACTIVE-INTERFACES) (DEFINE-PRIMITIVE-ROLE IS-INTERFACE-OF) (DEFINE-PRIMITIVE-ROLE DEV-IS-COUPLED-BY :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE DEVICE-INTERFACES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE CONN-IS-COUPLED-BY :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE CONNECTION-INTERFACES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE INNER-INTERFACES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE OUTER-INTERFACES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE OPTIONAL-INTERFACES) (DEFINE-PRIMITIVE-ROLE REQUIRED-INTERFACES) (DEFINE-PRIMITIVE-ROLE SIGNAL-QUANTITIES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE FLUX-QUANTITIES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE PERMEABLE-FOR) (DEFINE-PRIMITIVE-ROLE CONNECTION-INTERFACE-IDS) (DEFINE-PRIMITIVE-ROLE DEVICE-INTERFACE-IDS) (DEFINE-PRIMITIVE-ROLE PHENOMENA) (DEFINE-PRIMITIVE-ROLE CONSTRAINTS) (DEFINE-PRIMITIVE-ROLE CONTAINED-PHASES) (DEFINE-PRIMITIVE-ROLE PHASES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE HAS-BEHAVIOR :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE REALIZES :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE HAS-COMPONENT :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE MATERIAL :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE MATERIAL-STRUCTURE :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE MATERIAL-STATE :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE IN-ABSTRACT-PHASE :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE GEOMETRIC-REPRESENTATION :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE CONNECTIVITY :TRANSITIVE T) (DEFINE-PRIMITIVE-ROLE COUPLINGS) (DEFINE-PRIMITIVE-ROLE PART-OF) (DEFINE-PRIMITIVE-ROLE CONNECTION-MODELS :PARENTS PART-OF) (DEFINE-PRIMITIVE-ROLE DEVICE-MODELS :PARENTS PART-OF) (DEFINE-PRIMITIVE-ROLE QUANTITIES) (DEFINE-PRIMITIVE-ROLE BALANCE-QUANTITIES :PARENTS QUANTITIES) (DEFINE-PRIMITIVE-ROLE INTENSIVE-QUANTITIES :PARENTS QUANTITIES) (DEFINE-PRIMITIVE-ROLE INTERNAL-QUANTITIES :PARENTS QUANTITIES) (DEFINE-PRIMITIVE-ROLE GENERALIZED-FORCES :PARENTS QUANTITIES) (DEFINE-PRIMITIVE-ROLE OTHER-QUANTITIES :PARENTS QUANTITIES) (DEFINE-PRIMITIVE-ROLE EQUATIONS) (IMPLIES STRUCTURAL-MODELING-CONCEPT (AND MODELING-CONCEPT)) (IMPLIES BEHAVIORAL-MODELING-CONCEPT (AND MODELING-CONCEPT)) (IMPLIES BEHAVIOR (AND (ALL EQUATIONS EQUATION) (SOME EQUATIONS EQUATION) (ALL QUANTITIES VARIABLE) (SOME QUANTITIES VARIABLE) BEHAVIORAL-MODELING-CONCEPT)) (IMPLIES CONNECTION-BEHAVIOR (AND BEHAVIOR)) (IMPLIES ENVIRONMENT-BEHAVIOR (AND BEHAVIOR)) (IMPLIES DEVICE-BEHAVIOR (AND BEHAVIOR)) (IMPLIES ONE-FILM-BEHAVIOR (AND BEHAVIOR)) (IMPLIES TWO-FILM-BEHAVIOR (AND BEHAVIOR)) (IMPLIES THREE-FILM-BEHAVIOR (AND BEHAVIOR)) (IMPLIES MATERIAL-MODELING-CONCEPT (AND MODELING-CONCEPT)) (IMPLIES VARIABLE (AND BEHAVIORAL-MODELING-CONCEPT)) (IMPLIES EQUATION (AND BEHAVIORAL-MODELING-CONCEPT)) (IMPLIES GENERALIZED-FLUX (AND VARIABLE)) (IMPLIES SIGNAL-QUANTITY (AND VARIABLE)) (IMPLIES INTENSIVE-STATE (AND VARIABLE)) (IMPLIES EXTENSIVE-STATE (AND VARIABLE)) (IMPLIES PHYSICAL-PHASE-SYSTEM (AND MATERIAL-MODELING-CONCEPT)) (IMPLIES SINGLE-PHASE-SYSTEM (AND (SOME HAS-COMPONENT CHEMICAL-COMPONENT) PHYSICAL-PHASE-SYSTEM)) (IMPLIES MULTI-PHASE-SYSTEM (AND (SOME CONTAINED-PHASES SINGLE-PHASE-SYSTEM) PHYSICAL-PHASE-SYSTEM)) (IMPLIES PHENOMENON (AND BEHAVIORAL-MODELING-CONCEPT)) (IMPLIES CHEMICAL-COMPONENT (AND MATERIAL-MODELING-CONCEPT)) (DEFINE-CONCEPT MODEL (AND (ALL ACTIVE-INTERFACES MODEL-INTERFACE) (SOME ACTIVE-INTERFACES MODEL-INTERFACE) (SOME IMPLEMENTATION MODEL-IMPLEMENTATION) STRUCTURAL-MODELING-CONCEPT)) (DEFINE-CONCEPT DEVICE-MODEL (AND (ALL ACTIVE-INTERFACES DEVICE-INTERFACE) (SOME IMPLEMENTATION DEVICE-IMPLEMENTATION) MODEL)) (DEFINE-CONCEPT CONNECTION-MODEL (AND (SOME ACTIVE-INTERFACES CONNECTION-INTERFACE) (ALL ACTIVE-INTERFACES CONNECTION-INTERFACE) (SOME IMPLEMENTATION CONNECTION-IMPLEMENTATION) MODEL)) (DEFINE-CONCEPT ENVIRONMENT-MODEL (AND (ALL ACTIVE-INTERFACES DEVICE-INTERFACE) (SOME IMPLEMENTATION ENVIRONMENT-IMPLEMENTATION) MODEL)) (DEFINE-CONCEPT MODEL-INTERFACE (AND (SOME IS-INTERFACE-OF MODEL) STRUCTURAL-MODELING-CONCEPT)) (DEFINE-CONCEPT DEVICE-INTERFACE (AND (ALL DEV-IS-COUPLED-BY COUPLING) (SOME IS-INTERFACE-OF (OR ENVIRONMENT-MODEL DEVICE-MODEL)) MODEL-INTERFACE)) (DEFINE-CONCEPT CONNECTION-INTERFACE (AND (ALL CONN-IS-COUPLED-BY COUPLING) (SOME IS-INTERFACE-OF CONNECTION-MODEL) MODEL-INTERFACE)) (DEFINE-CONCEPT DEVICE-ELEMENTARY-INTERFACE (AND DEVICE-INTERFACE)) (DEFINE-CONCEPT DEVICE-SIGNAL-INTERFACE (AND (SOME SIGNAL-QUANTITIES SIGNAL-QUANTITY) DEVICE-ELEMENTARY-INTERFACE)) (DEFINE-CONCEPT DEVICE-FLUX-INTERFACE (AND (SOME INTENSIVE-QUANTITIES INTENSIVE-STATE) (SOME FLUX-QUANTITIES GENERALIZED-FLUX) DEVICE-ELEMENTARY-INTERFACE)) (DEFINE-CONCEPT DEVICE-FILM-INTERFACE (AND DEVICE-FLUX-INTERFACE)) (DEFINE-CONCEPT DEVICE-VALVE-INTERFACE (AND (SOME PHASES PHYSICAL-PHASE-SYSTEM) DEVICE-FLUX-INTERFACE)) (DEFINE-CONCEPT SINGLE-PHASE-DEVICE-VALVE-INTERFACE (AND (SOME PHASES SINGLE-PHASE-SYSTEM) DEVICE-VALVE-INTERFACE)) (DEFINE-CONCEPT MULTI-PHASE-DEVICE-VALVE-INTERFACE (AND (SOME PHASES MULTI-PHASE-SYSTEM) DEVICE-VALVE-INTERFACE)) (DEFINE-CONCEPT CONNECTION-ELEMENTARY-INTERFACE (AND CONNECTION-INTERFACE)) (DEFINE-CONCEPT CONNECTION-SIGNAL-INTERFACE (AND (SOME SIGNAL-QUANTITIES SIGNAL-QUANTITY) CONNECTION-ELEMENTARY-INTERFACE)) (DEFINE-CONCEPT CONNECTION-FLUX-INTERFACE (AND (SOME INTENSIVE-QUANTITIES INTENSIVE-STATE) (SOME FLUX-QUANTITIES GENERALIZED-FLUX) CONNECTION-ELEMENTARY-INTERFACE)) (DEFINE-CONCEPT CONNECTION-FILM-INTERFACE (AND CONNECTION-FLUX-INTERFACE)) (DEFINE-CONCEPT CONNECTION-VALVE-INTERFACE (AND (SOME PHASES PHYSICAL-PHASE-SYSTEM) CONNECTION-FLUX-INTERFACE)) (DEFINE-CONCEPT SINGLE-PHASE-CONNECTION-VALVE-INTERFACE (AND (SOME PHASES SINGLE-PHASE-SYSTEM) CONNECTION-VALVE-INTERFACE)) (DEFINE-CONCEPT MULTI-PHASE-CONNECTION-VALVE-INTERFACE (AND (SOME PHASES MULTI-PHASE-SYSTEM) CONNECTION-VALVE-INTERFACE)) (DEFINE-CONCEPT MODEL-IMPLEMENTATION (AND (ALL REQUIRED-INTERFACES MODEL-INTERFACE) (SOME REQUIRED-INTERFACES MODEL-INTERFACE) (ALL OPTIONAL-INTERFACES MODEL-INTERFACE) (SOME IS-IMPLEMENTING MODEL) STRUCTURAL-MODELING-CONCEPT)) (DEFINE-CONCEPT ENVIRONMENT-IMPLEMENTATION (AND (ALL QUANTITIES VARIABLE) (SOME HAS-BEHAVIOR ENVIRONMENT-BEHAVIOR) (ALL REQUIRED-INTERFACES DEVICE-INTERFACE) (SOME REQUIRED-INTERFACES DEVICE-INTERFACE) (ALL OPTIONAL-INTERFACES DEVICE-INTERFACE) (SOME IS-IMPLEMENTING ENVIRONMENT-MODEL) MODEL-IMPLEMENTATION)) (DEFINE-CONCEPT CONNECTION-IMPLEMENTATION (AND (ALL REQUIRED-INTERFACES CONNECTION-INTERFACE) (SOME REQUIRED-INTERFACES CONNECTION-INTERFACE) (ALL OPTIONAL-INTERFACES CONNECTION-INTERFACE) (SOME IS-IMPLEMENTING CONNECTION-MODEL) MODEL-IMPLEMENTATION)) (DEFINE-CONCEPT ELEMENTARY-CONNECTION-IMPLEMENTATION (AND (ALL QUANTITIES VARIABLE) (ALL HAS-BEHAVIOR CONNECTION-BEHAVIOR) CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT SIGNAL-CONNECTION-IMPLEMENTATION (AND (ALL REQUIRED-INTERFACES CONNECTION-SIGNAL-INTERFACE) (ALL OPTIONAL-INTERFACES CONNECTION-SIGNAL-INTERFACE) ELEMENTARY-CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT FLUX-CONNECTION-IMPLEMENTATION (AND (ALL OTHER-QUANTITIES VARIABLE) (ALL PHENOMENA PHENOMENON) (ALL GENERALIZED-FORCES GENERALIZED-FORCE) ELEMENTARY-CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT FILM-IMPLEMENTATION (AND (ALL REQUIRED-INTERFACES CONNECTION-FILM-INTERFACE) (SOME REQUIRED-INTERFACES CONNECTION-FILM-INTERFACE) (ALL OPTIONAL-INTERFACES CONNECTION-FILM-INTERFACE) FLUX-CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT ONE-FILM-IMPLEMENTATION (AND (ALL HAS-BEHAVIOR ONE-FILM-BEHAVIOR) FILM-IMPLEMENTATION)) (DEFINE-CONCEPT TWO-FILM-IMPLEMENTATION (AND (ALL HAS-BEHAVIOR TWO-FILM-BEHAVIOR) FILM-IMPLEMENTATION)) (DEFINE-CONCEPT THREE-FILM-IMPLEMENTATION (AND (ALL HAS-BEHAVIOR THREE-FILM-BEHAVIOR) FILM-IMPLEMENTATION)) (DEFINE-CONCEPT VALVE-IMPLEMENTATION (AND (ALL REQUIRED-INTERFACES CONNECTION-ELEMENTARY-INTERFACE) (SOME REQUIRED-INTERFACES CONNECTION-ELEMENTARY-INTERFACE) (ALL OPTIONAL-INTERFACES CONNECTION-ELEMENTARY-INTERFACE) FLUX-CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT PERMEABLE-VALVE-IMPLEMENTATION (AND VALVE-IMPLEMENTATION)) (DEFINE-CONCEPT SEMI-PERMEABLE-VALVE-IMPLEMENTATION (AND (ALL PERMEABLE-FOR CHEMICAL-COMPONENT) VALVE-IMPLEMENTATION)) (DEFINE-CONCEPT IMPERMEABLE-VALVE-IMPLEMENTATION (AND (ALL PERMEABLE-FOR CHEMICAL-COMPONENT) VALVE-IMPLEMENTATION)) (DEFINE-CONCEPT COMPLEX-CONNECTION-IMPLEMENTATION (AND (ALL CONSTRAINTS CONNECTION-BEHAVIOR) (ALL QUANTITIES VARIABLE) (ALL HAS-BEHAVIOR CONNECTION-BEHAVIOR) (SOME CONNECTIVITY BOOLEAN) CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT COMPOSITE-CONNECTION-IMPLEMENTATION (AND (ALL COUPLINGS COUPLING) (SOME COUPLINGS COUPLING) (ALL CONNECTION-INTERFACE-IDS CONNECTION-INTERFACE-ID) (SOME CONNECTION-INTERFACE-IDS CONNECTION-INTERFACE-ID) (ALL DEVICE-MODELS DEVICE-MODEL) (SOME DEVICE-MODELS DEVICE-MODEL) (ALL CONNECTION-MODELS CONNECTION-MODEL) (SOME CONNECTION-MODELS CONNECTION-MODEL) COMPLEX-CONNECTION-IMPLEMENTATION)) (DEFINE-CONCEPT CONNECTION-INTERFACE-ID (AND (SOME OUTER-INTERFACES CONNECTION-ELEMENTARY-INTERFACE) (SOME INNER-INTERFACES CONNECTION-ELEMENTARY-INTERFACE))) (DEFINE-CONCEPT DEVICE-IMPLEMENTATION (AND (ALL QUANTITIES VARIABLE) (SOME HAS-BEHAVIOR DEVICE-BEHAVIOR) (SOME REQUIRED-INTERFACES DEVICE-INTERFACE) (ALL REQUIRED-INTERFACES DEVICE-INTERFACE) (ALL OPTIONAL-INTERFACES DEVICE-INTERFACE) (SOME IS-IMPLEMENTING DEVICE-MODEL) MODEL-IMPLEMENTATION)) (DEFINE-CONCEPT ELEMENTARY-DEVICE-IMPLEMENTATION (AND DEVICE-IMPLEMENTATION)) (DEFINE-CONCEPT ABSTRACT-PHASE-IMPLEMENTATION (AND (ALL OTHER-QUANTITIES VARIABLE) (ALL INTENSIVE-QUANTITIES INTENSIVE-STATE) (ALL PHENOMENA PHENOMENON) (ALL BALANCE-QUANTITIES EXTENSIVE-STATE) (SOME BALANCE-QUANTITIES EXTENSIVE-STATE) (SOME GEOMETRIC-REPRESENTATION VOLUME-ELEMENT) (SOME MATERIAL PHYSICAL-PHASE-SYSTEM) (SOME MATERIAL-STATE (OR SOLID-SOLID-SOLID LIQUID-SOLID-SOLID LIQUID-LIQUID-SOLID LIQUID-LIQUID-LIQUID GAS-SOLID-SOLID GAS-LIQUID-LIQUID GAS-LIQUID-SOLID LIQUID-SOLID LIQUID-LIQUID GAS-SOLID GAS-LIQUID GAS LIQUID SOLID)) (SOME MATERIAL-STRUCTURE (OR PARTICULATE QUASIHOMOGENEOUS HOMOGENEOUS)) ELEMENTARY-DEVICE-IMPLEMENTATION)) (DEFINE-CONCEPT ABSTRACT-SIGNAL-TRANSFORMER-IMPLEMENTATION (AND (ALL INTERNAL-QUANTITIES VARIABLE) (ALL REQUIRED-INTERFACES DEVICE-SIGNAL-INTERFACE) (SOME REQUIRED-INTERFACES DEVICE-SIGNAL-INTERFACE) (ALL OPTIONAL-INTERFACES DEVICE-SIGNAL-INTERFACE) ELEMENTARY-DEVICE-IMPLEMENTATION)) (DEFINE-CONCEPT COMPLEX-DEVICE-IMPLEMENTATION (AND (ALL CONSTRAINTS DEVICE-BEHAVIOR) (SOME CONNECTIVITY BOOLEAN) DEVICE-IMPLEMENTATION)) (DEFINE-CONCEPT COMPOSITE-DEVICE-IMPLEMENTATION (AND (ALL COUPLINGS COUPLING) (ALL DEVICE-INTERFACE-IDS DEVICE-INTERFACE-ID) (ALL CONNECTION-MODELS CONNECTION-MODEL) (SOME CONNECTION-MODELS CONNECTION-MODEL) (ALL DEVICE-MODELS DEVICE-MODEL) (SOME DEVICE-MODELS DEVICE-MODEL) COMPLEX-DEVICE-IMPLEMENTATION)) (DEFINE-CONCEPT COUPLING (AND (SOME CONNECTION-INTERFACES CONNECTION-INTERFACE) (SOME DEVICE-INTERFACES DEVICE-INTERFACE))) (DEFINE-CONCEPT DEVICE-INTERFACE-ID (AND (SOME OUTER-INTERFACES DEVICE-ELEMENTARY-INTERFACE) (SOME INNER-INTERFACES DEVICE-ELEMENTARY-INTERFACE)))