Axiom: UserProfileInfo subClassOf AcctInfo Explanation: AcctInfo equivalentTo SignInData or UserProfileInfo Axiom: NonExistingAcct subClassOf AcctInfo Explanation: NonExistingAcct equivalentTo AcctInfo and hasAcctID max 0 Axiom: SignInData subClassOf AcctInfo Explanation: AcctInfo equivalentTo SignInData or UserProfileInfo Axiom: unitMonth type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: unitDay type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: unitYear type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: unitHour type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: unitSecond type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: unitMinute type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: unitWeek type TemporalUnit Explanation: TemporalUnit equivalentTo {unitDay, unitHour, unitMinute, unitMonth, unitSecond, unitWeek, unitYear} Axiom: MasterCard type CreditCardType Explanation: CreditCardType equivalentTo {AmericanExpress, DiscoverCard, MasterCard, VISA} Axiom: AmericanExpress type CreditCardType Explanation: AmericanExpress type CreditCardType Axiom: DiscoverCard type CreditCardType Explanation: DiscoverCard type CreditCardType Axiom: VISA type CreditCardType Explanation: CreditCardType equivalentTo {AmericanExpress, DiscoverCard, MasterCard, VISA} Axiom: CommercialAirlineTravel subClassOf Product Explanation: CommercialAirlineTravel subClassOf Product Axiom: Book subClassOf Product Explanation: Book subClassOf Product Axiom: InStockBook subClassOf Book Explanation: InStockBook subClassOf Book Axiom: OutOfStockBook subClassOf Book Explanation: OutOfStockBook subClassOf Book Axiom: genid100 type AtomList Explanation: FullCongoOrderShippedEffect type SWRL-Expression SWRL-Expression subClassOf expressionObject only AtomList FullCongoOrderShippedEffect expressionObject bnode Axiom: nil type AtomList Explanation: SWRL-Expression subClassOf expressionObject only AtomList CreditExists type SWRL-Condition CreditExists expressionObject nil SWRL-Condition subClassOf SWRL-Expression Axiom: genid61 type AtomList Explanation: SWRL-Expression subClassOf expressionObject only AtomList ExpressCongoBuyBookOutOfStock expressionObject bnode ExpressCongoBuyBookOutOfStock type SWRL-Condition SWRL-Condition subClassOf SWRL-Expression Axiom: genid53 type AtomList Explanation: bnode type SWRL-Expression SWRL-Expression subClassOf expressionObject only AtomList bnode expressionObject bnode Axiom: genid160 type AtomList Explanation: SignInAlternativesAcctExists type SWRL-Condition SWRL-Expression subClassOf expressionObject only AtomList SignInAlternativesAcctExists expressionObject bnode SWRL-Condition subClassOf SWRL-Expression Axiom: genid44 type AtomList Explanation: ExpressCongoBuyCreditExists expressionObject bnode SWRL-Expression subClassOf expressionObject only AtomList ExpressCongoBuyCreditExists type SWRL-Condition SWRL-Condition subClassOf SWRL-Expression Axiom: genid102 type AtomList Explanation: FullCongoBuyBookOutOfStock expressionObject bnode FullCongoBuyBookOutOfStock type SWRL-Condition SWRL-Expression subClassOf expressionObject only AtomList SWRL-Condition subClassOf SWRL-Expression Axiom: genid48 type AtomList Explanation: SWRL-Expression subClassOf expressionObject only AtomList ExpressCongoBuyBookInStock expressionObject bnode ExpressCongoBuyBookInStock type SWRL-Condition SWRL-Condition subClassOf SWRL-Expression Axiom: genid55 type AtomList Explanation: ExpressCongoOrderShippedEffect expressionObject bnode SWRL-Expression subClassOf expressionObject only AtomList ExpressCongoOrderShippedEffect type SWRL-Expression Axiom: genid191 type AtomList Explanation: BookOutOfStock type SWRL-Condition SWRL-Expression subClassOf expressionObject only AtomList BookOutOfStock expressionObject bnode SWRL-Condition subClassOf SWRL-Expression Axiom: genid65 type AtomList Explanation: bnode type SWRL-Expression SWRL-Expression subClassOf expressionObject only AtomList bnode expressionObject bnode Axiom: genid196 type AtomList Explanation: bnode type SWRL-Expression SWRL-Expression subClassOf expressionObject only AtomList bnode expressionObject bnode Axiom: genid188 type AtomList Explanation: bnode type SWRL-Expression SWRL-Expression subClassOf expressionObject only AtomList bnode expressionObject bnode Axiom: genid42 type AtomList Explanation: SWRL-Expression subClassOf expressionObject only AtomList ExpressCongoBuyAcctExists expressionObject bnode ExpressCongoBuyAcctExists type SWRL-Condition SWRL-Condition subClassOf SWRL-Expression Axiom: genid98 type AtomList Explanation: bnode type SWRL-Expression SWRL-Expression subClassOf expressionObject only AtomList bnode expressionObject bnode Axiom: genid183 type AtomList Explanation: BookInStock type SWRL-Condition BookInStock expressionObject bnode SWRL-Expression subClassOf expressionObject only AtomList SWRL-Condition subClassOf SWRL-Expression Axiom: genid73 type AtomList Explanation: FullCongoBuyBookInStock expressionObject bnode SWRL-Expression subClassOf expressionObject only AtomList FullCongoBuyBookInStock type SWRL-Condition SWRL-Condition subClassOf SWRL-Expression Axiom: genid165 type AtomList Explanation: SignInAlternativesNoAcctExists expressionObject bnode SWRL-Expression subClassOf expressionObject only AtomList SignInAlternativesNoAcctExists type SWRL-Condition SWRL-Condition subClassOf SWRL-Expression Axiom: InstantThing subClassOf TemporalThing Explanation: InstantThing subClassOf TemporalThing Axiom: TemporalEntity subClassOf TemporalThing Explanation: TemporalEntity subClassOf TemporalThing Axiom: Event subClassOf TemporalThing Explanation: Event subClassOf TemporalThing Axiom: IntervalThing subClassOf TemporalThing Explanation: IntervalThing subClassOf TemporalThing Axiom: Instant subClassOf InstantThing Explanation: InstantThing equivalentTo Instant or InstantEvent Axiom: InstantEvent subClassOf InstantThing Explanation: InstantThing equivalentTo Instant or InstantEvent Axiom: Instant subClassOf TemporalEntity Explanation: TemporalEntity equivalentTo Instant or Interval Axiom: Interval subClassOf TemporalEntity Explanation: TemporalEntity equivalentTo Instant or Interval Axiom: ProperInterval subClassOf Interval Explanation: ProperInterval subClassOf Interval Axiom: CalendarClockInterval subClassOf ProperInterval Explanation: CalendarClockInterval subClassOf ProperInterval Axiom: InstantEvent subClassOf Event Explanation: InstantEvent subClassOf Event Axiom: IntervalEvent subClassOf Event Explanation: IntervalEvent subClassOf Event Axiom: IntervalEvent subClassOf IntervalThing Explanation: IntervalThing equivalentTo Interval or IntervalEvent Axiom: ProperIntervalThing subClassOf IntervalThing Explanation: ProperIntervalThing subClassOf IntervalThing Axiom: Interval subClassOf IntervalThing Explanation: IntervalThing equivalentTo Interval or IntervalEvent Axiom: ProperInterval subClassOf ProperIntervalThing Explanation: ProperInterval subClassOf ProperIntervalThing Axiom: Profile subClassOf ServiceProfile Explanation: Profile subClassOf ServiceProfile Axiom: E_Commerce subClassOf Profile Explanation: E_Commerce subClassOf Profile Axiom: Information_Service subClassOf Profile Explanation: Information_Service subClassOf Profile Axiom: BookSelling subClassOf E_Commerce Explanation: BookSelling subClassOf E_Commerce Axiom: AirlineTicketing subClassOf E_Commerce Explanation: AirlineTicketing subClassOf E_Commerce Axiom: FailureNotification subClassOf LocateBookOutputType Explanation: LocateBookOutputType equivalentTo FailureNotification or ISBN Axiom: ISBN subClassOf LocateBookOutputType Explanation: LocateBookOutputType equivalentTo FailureNotification or ISBN Axiom: NotifyBookOutOfStock type FailureNotification Explanation: NotifyBookOutOfStock type FailureNotification Axiom: NotifyBookNotFound type FailureNotification Explanation: NotifyBookNotFound type FailureNotification Axiom: Expired type ValidityType Explanation: Expired type ValidityType Axiom: AuthorizationRefused type ValidityType Explanation: AuthorizationRefused type ValidityType Axiom: Valid type ValidityType Explanation: ValidityType equivalentTo {AuthorizationRefused, Expired, InvalidCCNumber, InvalidCCType, Valid} Axiom: InvalidCCNumber type ValidityType Explanation: InvalidCCNumber type ValidityType Axiom: InvalidCCType type ValidityType Explanation: ValidityType equivalentTo {AuthorizationRefused, Expired, InvalidCCNumber, InvalidCCType, Valid} Axiom: OrdinaryMail type DeliveryType Explanation: DeliveryType equivalentTo {FedEx2-3day, FedExOneDay, OrdinaryMail, UPS} Axiom: FedEx2-3day type DeliveryType Explanation: DeliveryType equivalentTo {FedEx2-3day, FedExOneDay, OrdinaryMail, UPS} Axiom: UPS type DeliveryType Explanation: DeliveryType equivalentTo {FedEx2-3day, FedExOneDay, OrdinaryMail, UPS} Axiom: FedExOneDay type DeliveryType Explanation: DeliveryType equivalentTo {FedEx2-3day, FedExOneDay, OrdinaryMail, UPS} Axiom: Process subClassOf ServiceModel Explanation: Process subClassOf ServiceModel Axiom: CompositeProcess subClassOf Process Explanation: Process equivalentTo AtomicProcess or CompositeProcess or SimpleProcess Axiom: AtomicProcess subClassOf Process Explanation: Process equivalentTo AtomicProcess or CompositeProcess or SimpleProcess Axiom: SimpleProcess subClassOf Process Explanation: SimpleProcess subClassOf Process Axiom: FullCongoBuy type CompositeProcess Explanation: FullCongoBuy type CompositeProcess Axiom: CreateAcctSequence type CompositeProcess Explanation: CreateAcctSequence type CompositeProcess Axiom: CongoBuyBook type CompositeProcess Explanation: CongoBuyBook type CompositeProcess Axiom: BuySequence type CompositeProcess Explanation: BuySequence type CompositeProcess Axiom: SignInSequence type CompositeProcess Explanation: SignInSequence type CompositeProcess Axiom: SignInAlternatives type CompositeProcess Explanation: SignInAlternatives type CompositeProcess Axiom: CreateAcct type AtomicProcess Explanation: CreateAcct type AtomicProcess Axiom: PutInCart type AtomicProcess Explanation: PutInCart type AtomicProcess Axiom: ExpressCongoBuy type AtomicProcess Explanation: ExpressCongoBuy type AtomicProcess Axiom: LocateBook type AtomicProcess Explanation: LocateBook type AtomicProcess Axiom: FinalizeBuy type AtomicProcess Explanation: FinalizeBuy type AtomicProcess Axiom: SignIn type AtomicProcess Explanation: SignIn type AtomicProcess Axiom: LoadUserProfile type AtomicProcess Explanation: LoadUserProfile type AtomicProcess Axiom: SpecifyPaymentMethod type AtomicProcess Explanation: SpecifyPaymentMethod type AtomicProcess Axiom: SpecifyDeliveryDetails type AtomicProcess Explanation: SpecifyDeliveryDetails type AtomicProcess Axiom: AbstractCongoBuy type SimpleProcess Explanation: AbstractCongoBuy type SimpleProcess Axiom: ControlConstructList subClassOf List Explanation: ControlConstructList subClassOf List Axiom: ControlConstructBag subClassOf List Explanation: ControlConstructBag subClassOf List Axiom: Cart subClassOf List Explanation: Cart equivalentTo List and first only Book and rest only Cart Axiom: genid109 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid142 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid178 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid170 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid68 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid175 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: nil type ControlConstructList Explanation: bnode rest nil ControlConstructList subClassOf rest only ControlConstructList bnode type ControlConstructList Axiom: genid134 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid129 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid173 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid71 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid137 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid122 type ControlConstructList Explanation: bnode type ControlConstructList Axiom: genid153 type ControlConstructBag Explanation: bnode type ControlConstructBag Axiom: nil type ControlConstructBag Explanation: bnode type ControlConstructBag bnode rest nil ControlConstructBag subClassOf rest only ControlConstructBag Axiom: genid156 type ControlConstructBag Explanation: bnode type ControlConstructBag Axiom: genid190 type Result Explanation: bnode type Result Axiom: ExpressCongoBuyNegativeResult type Result Explanation: ExpressCongoBuyNegativeResult type Result Axiom: genid159 type Result Explanation: bnode type Result Axiom: ExpressCongoBuyPositiveResult type Result Explanation: ExpressCongoBuyPositiveResult type Result Axiom: genid149 type Result Explanation: bnode type Result Axiom: FullCongoBuyNegativeResult type Result Explanation: FullCongoBuyNegativeResult type Result Axiom: genid164 type Result Explanation: bnode type Result Axiom: genid179 type Result Explanation: bnode type Result Axiom: FullCongoBuyPositiveResult type Result Explanation: FullCongoBuyPositiveResult type Result Axiom: genid130 type Result Explanation: bnode type Result Axiom: genid182 type Result Explanation: bnode type Result Axiom: ExpressCongoBuyOutputType equivalentTo FullCongoBuyOutputType Explanation: ExpressCongoBuyOutputType equivalentTo FailureNotification or OrderShippedAcknowledgment FullCongoBuyOutputType equivalentTo FailureNotification or OrderShippedAcknowledgment Axiom: FailureNotification subClassOf ExpressCongoBuyOutputType Explanation: ExpressCongoBuyOutputType equivalentTo FailureNotification or OrderShippedAcknowledgment Axiom: OrderShippedAcknowledgment subClassOf ExpressCongoBuyOutputType Explanation: ExpressCongoBuyOutputType equivalentTo FailureNotification or OrderShippedAcknowledgment Axiom: genid148 type ValueOf Explanation: bnode type ValueOf Axiom: genid128 type ValueOf Explanation: bnode type ValueOf Axiom: genid163 type ValueOf Explanation: bnode type ValueOf Axiom: genid90 type ValueOf Explanation: bnode type ValueOf Axiom: genid113 type ValueOf Explanation: bnode type ValueOf Axiom: genid132 type ValueOf Explanation: bnode type ValueOf Axiom: genid94 type ValueOf Explanation: bnode type ValueOf Axiom: genid151 type ValueOf Explanation: bnode type ValueOf Axiom: genid121 type ValueOf Explanation: bnode type ValueOf Axiom: genid70 type ValueOf Explanation: bnode type ValueOf Axiom: genid155 type ValueOf Explanation: bnode type ValueOf Axiom: genid119 type ValueOf Explanation: bnode type ValueOf Axiom: genid78 type ValueOf Explanation: bnode type ValueOf Axiom: genid84 type ValueOf Explanation: bnode type ValueOf Axiom: genid144 type ValueOf Explanation: bnode type ValueOf Axiom: genid181 type ValueOf Explanation: bnode type ValueOf Axiom: genid92 type ValueOf Explanation: bnode type ValueOf Axiom: genid168 type ValueOf Explanation: bnode type ValueOf Axiom: genid126 type ValueOf Explanation: bnode type ValueOf Axiom: genid96 type ValueOf Explanation: bnode type ValueOf Axiom: genid117 type ValueOf Explanation: bnode type ValueOf Axiom: genid111 type ValueOf Explanation: bnode type ValueOf Axiom: genid82 type ValueOf Explanation: bnode type ValueOf Axiom: genid158 type ValueOf Explanation: bnode type ValueOf Axiom: genid139 type ValueOf Explanation: bnode type ValueOf Axiom: genid141 type ValueOf Explanation: bnode type ValueOf Axiom: genid124 type ValueOf Explanation: bnode type ValueOf Axiom: genid172 type ValueOf Explanation: bnode type ValueOf Axiom: genid86 type ValueOf Explanation: bnode type ValueOf Axiom: genid115 type ValueOf Explanation: bnode type ValueOf Axiom: genid107 type ValueOf Explanation: bnode type ValueOf Axiom: genid136 type ValueOf Explanation: bnode type ValueOf Axiom: genid80 type ValueOf Explanation: bnode type ValueOf Axiom: genid88 type ValueOf Explanation: bnode type ValueOf Axiom: genid177 type ValueOf Explanation: bnode type ValueOf Axiom: genid146 type ValueOf Explanation: bnode type ValueOf Axiom: Giftwrap type PackagingType Explanation: PackagingType equivalentTo {Giftwrap, Ordinary} Axiom: Ordinary type PackagingType Explanation: PackagingType equivalentTo {Giftwrap, Ordinary} Axiom: TheServer type Participant Explanation: TheServer type Participant Axiom: TheClient type Participant Explanation: TheClient type Participant Axiom: KIF type LogicLanguage Explanation: KIF type LogicLanguage Axiom: SWRL type LogicLanguage Explanation: SWRL type LogicLanguage Axiom: SWRL-FOL type LogicLanguage Explanation: SWRL-FOL type LogicLanguage Axiom: RDQL type LogicLanguage Explanation: RDQL type LogicLanguage Axiom: SPARQL type LogicLanguage Explanation: SPARQL type LogicLanguage Axiom: DRS type LogicLanguage Explanation: DRS type LogicLanguage Axiom: OutputBinding subClassOf Binding Explanation: OutputBinding equivalentTo Binding and toParam only Output Axiom: InputBinding subClassOf Binding Explanation: InputBinding subClassOf Binding Axiom: genid131 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid150 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid106 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid95 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid162 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid180 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid167 type OutputBinding Explanation: bnode type OutputBinding Axiom: genid79 type InputBinding Explanation: bnode type InputBinding Axiom: genid118 type InputBinding Explanation: bnode type InputBinding Axiom: genid154 type InputBinding Explanation: bnode type InputBinding Axiom: genid147 type InputBinding Explanation: bnode type InputBinding Axiom: genid112 type InputBinding Explanation: bnode type InputBinding Axiom: genid171 type InputBinding Explanation: bnode type InputBinding Axiom: genid145 type InputBinding Explanation: bnode type InputBinding Axiom: genid116 type InputBinding Explanation: bnode type InputBinding Axiom: genid123 type InputBinding Explanation: bnode type InputBinding Axiom: genid87 type InputBinding Explanation: bnode type InputBinding Axiom: genid93 type InputBinding Explanation: bnode type InputBinding Axiom: genid143 type InputBinding Explanation: bnode type InputBinding Axiom: genid85 type InputBinding Explanation: bnode type InputBinding Axiom: genid138 type InputBinding Explanation: bnode type InputBinding Axiom: genid81 type InputBinding Explanation: bnode type InputBinding Axiom: genid89 type InputBinding Explanation: bnode type InputBinding Axiom: genid114 type InputBinding Explanation: bnode type InputBinding Axiom: genid69 type InputBinding Explanation: bnode type InputBinding Axiom: genid176 type InputBinding Explanation: bnode type InputBinding Axiom: genid135 type InputBinding Explanation: bnode type InputBinding Axiom: genid77 type InputBinding Explanation: bnode type InputBinding Axiom: genid120 type InputBinding Explanation: bnode type InputBinding Axiom: genid91 type InputBinding Explanation: bnode type InputBinding Axiom: genid83 type InputBinding Explanation: bnode type InputBinding Axiom: genid157 type InputBinding Explanation: bnode type InputBinding Axiom: genid110 type InputBinding Explanation: bnode type InputBinding Axiom: genid140 type InputBinding Explanation: bnode type InputBinding Axiom: genid127 type InputBinding Explanation: bnode type InputBinding Axiom: genid125 type InputBinding Explanation: bnode type InputBinding Axiom: Condition subClassOf Expression Explanation: Condition subClassOf Expression Axiom: UnquotedExpression subClassOf Expression Explanation: UnquotedExpression subClassOf Expression Axiom: QuotedExpression subClassOf Expression Explanation: QuotedExpression subClassOf Expression Axiom: SWRL-Expression subClassOf UnquotedExpression Explanation: SWRL-Expression subClassOf UnquotedExpression Axiom: DRS-Expression subClassOf UnquotedExpression Explanation: DRS-Expression subClassOf UnquotedExpression Axiom: genid195 type SWRL-Expression Explanation: bnode type SWRL-Expression Axiom: genid187 type SWRL-Expression Explanation: bnode type SWRL-Expression Axiom: FullCongoOrderShippedEffect type SWRL-Expression Explanation: FullCongoOrderShippedEffect type SWRL-Expression Axiom: ExpressCongoOrderShippedEffect type SWRL-Expression Explanation: ExpressCongoOrderShippedEffect type SWRL-Expression Axiom: genid64 type SWRL-Expression Explanation: bnode type SWRL-Expression Axiom: genid52 type SWRL-Expression Explanation: bnode type SWRL-Expression Axiom: genid97 type SWRL-Expression Explanation: bnode type SWRL-Expression Axiom: SWRL-Condition subClassOf SWRL-Expression Explanation: SWRL-Condition subClassOf SWRL-Expression Axiom: FullCongoBuyBookInStock type SWRL-Condition Explanation: FullCongoBuyBookInStock type SWRL-Condition Axiom: ExpressCongoBuyAcctExists type SWRL-Condition Explanation: ExpressCongoBuyAcctExists type SWRL-Condition Axiom: ExpressCongoBuyCreditExists type SWRL-Condition Explanation: ExpressCongoBuyCreditExists type SWRL-Condition Axiom: ExpressCongoBuyBookInStock type SWRL-Condition Explanation: ExpressCongoBuyBookInStock type SWRL-Condition Axiom: FullCongoBuyBookOutOfStock type SWRL-Condition Explanation: FullCongoBuyBookOutOfStock type SWRL-Condition Axiom: ExpressCongoBuyBookOutOfStock type SWRL-Condition Explanation: ExpressCongoBuyBookOutOfStock type SWRL-Condition Axiom: BookOutOfStock type SWRL-Condition Explanation: BookOutOfStock type SWRL-Condition Axiom: SignInAlternativesAcctExists type SWRL-Condition Explanation: SignInAlternativesAcctExists type SWRL-Condition Axiom: BookInStock type SWRL-Condition Explanation: BookInStock type SWRL-Condition Axiom: SignInAlternativesNoAcctExists type SWRL-Condition Explanation: SignInAlternativesNoAcctExists type SWRL-Condition Axiom: CreditExists type SWRL-Condition Explanation: CreditExists type SWRL-Condition Axiom: DRS-Condition subClassOf DRS-Expression Explanation: DRS-Condition subClassOf DRS-Expression Axiom: AlwaysTrue type Condition Explanation: AlwaysTrue type Condition Axiom: SWRL-FOL-Condition subClassOf Condition Explanation: SWRL-FOL-Condition subClassOf Condition Axiom: RDQL-Condition subClassOf Condition Explanation: RDQL-Condition subClassOf Condition Axiom: SPARQL-Condition subClassOf Condition Explanation: SPARQL-Condition subClassOf Condition Axiom: SWRL-Condition subClassOf Condition Explanation: SWRL-Condition subClassOf Condition Axiom: DRS-Condition subClassOf Condition Explanation: DRS-Condition subClassOf Condition Axiom: KIF-Condition subClassOf Condition Explanation: KIF-Condition subClassOf Condition Axiom: SWRL-FOL-Expression subClassOf QuotedExpression Explanation: SWRL-FOL-Expression subClassOf QuotedExpression Axiom: SPARQL-Expression subClassOf QuotedExpression Explanation: SPARQL-Expression subClassOf QuotedExpression Axiom: RDQL-Expression subClassOf QuotedExpression Explanation: RDQL-Expression subClassOf QuotedExpression Axiom: KIF-Expression subClassOf QuotedExpression Explanation: KIF-Expression subClassOf QuotedExpression Axiom: SWRL-FOL-Condition subClassOf SWRL-FOL-Expression Explanation: SWRL-FOL-Condition subClassOf SWRL-FOL-Expression Axiom: SPARQL-Condition subClassOf SPARQL-Expression Explanation: SPARQL-Condition subClassOf SPARQL-Expression Axiom: RDQL-Condition subClassOf RDQL-Expression Explanation: RDQL-Condition subClassOf RDQL-Expression Axiom: KIF-Condition subClassOf KIF-Expression Explanation: KIF-Condition subClassOf KIF-Expression Axiom: UnitedStates type Country Explanation: UnitedStates type Country Axiom: Split subClassOf ControlConstruct Explanation: Split subClassOf ControlConstruct Axiom: Perform subClassOf ControlConstruct Explanation: Perform subClassOf ControlConstruct Axiom: Iterate subClassOf ControlConstruct Explanation: Iterate subClassOf ControlConstruct Axiom: Sequence subClassOf ControlConstruct Explanation: Sequence subClassOf ControlConstruct Axiom: Produce subClassOf ControlConstruct Explanation: Produce subClassOf ControlConstruct Axiom: Choice subClassOf ControlConstruct Explanation: Choice subClassOf ControlConstruct Axiom: Split-Join subClassOf ControlConstruct Explanation: Split-Join subClassOf ControlConstruct Axiom: Any-Order subClassOf ControlConstruct Explanation: Any-Order subClassOf ControlConstruct Axiom: If-Then-Else subClassOf ControlConstruct Explanation: If-Then-Else subClassOf ControlConstruct Axiom: Repeat-While subClassOf Iterate Explanation: Repeat-While subClassOf Iterate Axiom: Repeat-Until subClassOf Iterate Explanation: Repeat-Until subClassOf Iterate Axiom: LoadUserProfilePerform1 type Perform Explanation: LoadUserProfilePerform1 type Perform Axiom: BuySequencePerform type Perform Explanation: BuySequencePerform type Perform Axiom: SignInAlternativesPerform type Perform Explanation: SignInAlternativesPerform type Perform Axiom: SignInSequencePerform type Perform Explanation: SignInSequencePerform type Perform Axiom: FinalizeBuyPerform type Perform Explanation: FinalizeBuyPerform type Perform Axiom: CongoBuyBookPerform type Perform Explanation: CongoBuyBookPerform type Perform Axiom: SpecifyDeliveryDetailsPerform type Perform Explanation: SpecifyDeliveryDetailsPerform type Perform Axiom: LocateBookPerform type Perform Explanation: LocateBookPerform type Perform Axiom: LoadUserProfilePerform type Perform Explanation: LoadUserProfilePerform type Perform Axiom: TheParentPerform type Perform Explanation: TheParentPerform type Perform Axiom: CreateAcctSequencePerform type Perform Explanation: CreateAcctSequencePerform type Perform Axiom: ThisPerform type Perform Explanation: ThisPerform type Perform Axiom: CreateAcctPerform type Perform Explanation: CreateAcctPerform type Perform Axiom: SpecifyPaymentMethodPerform type Perform Explanation: SpecifyPaymentMethodPerform type Perform Axiom: PutInCartPerform type Perform Explanation: PutInCartPerform type Perform Axiom: SignInPerform type Perform Explanation: SignInPerform type Perform Axiom: genid108 type Sequence Explanation: bnode type Sequence Axiom: genid169 type Sequence Explanation: bnode type Sequence Axiom: genid133 type Sequence Explanation: bnode type Sequence Axiom: genid174 type Sequence Explanation: bnode type Sequence Axiom: genid67 type Sequence Explanation: bnode type Sequence Axiom: genid152 type Choice Explanation: bnode type Choice Axiom: genid72 type If-Then-Else Explanation: bnode type If-Then-Else Axiom: Parameter subClassOf Variable Explanation: Parameter subClassOf Variable Axiom: Input subClassOf Parameter Explanation: Input subClassOf Parameter Axiom: ResultVar subClassOf Parameter Explanation: ResultVar subClassOf Parameter Axiom: Output subClassOf Parameter Explanation: Output subClassOf Parameter Axiom: Local subClassOf Parameter Explanation: Local subClassOf Parameter Axiom: FullCongoBuySignInData type Input Explanation: FullCongoBuySignInData type Input Axiom: SpecifyPaymentMethodCreditCardExpirationDate type Input Explanation: SpecifyPaymentMethodCreditCardExpirationDate type Input Axiom: CongoBuyBookDeliveryTypeSelection type Input Explanation: CongoBuyBookDeliveryTypeSelection type Input Axiom: CongoBuyBookCreditCardNumber type Input Explanation: CongoBuyBookCreditCardNumber type Input Axiom: BuySequenceCreateAcctInfo type Input Explanation: BuySequenceCreateAcctInfo type Input Axiom: BuySequenceCreditCardType type Input Explanation: BuySequenceCreditCardType type Input Axiom: PutInCartBookISBN type Input Explanation: PutInCartBookISBN type Input Axiom: LocateBookBookName type Input Explanation: LocateBookBookName type Input Axiom: CongoBuyBookDeliveryAddress type Input Explanation: CongoBuyBookDeliveryAddress type Input Axiom: CongoBuyBookCreditCardExpirationDate type Input Explanation: CongoBuyBookCreditCardExpirationDate type Input Axiom: ExpressCongoBuySignInInfo type Input Explanation: ExpressCongoBuySignInInfo type Input Axiom: CongoBuyBookCreditCardType type Input Explanation: CongoBuyBookCreditCardType type Input Axiom: ExpressCongoBuyCreditCardNumber type Input Explanation: ExpressCongoBuyCreditCardNumber type Input Axiom: PackagingSelection type Input Explanation: PackagingSelection type Input Axiom: FullCongoBuyCreditCardExpirationDate type Input Explanation: FullCongoBuyCreditCardExpirationDate type Input Axiom: SignInAlternativesCreateAcctInfo type Input Explanation: SignInAlternativesCreateAcctInfo type Input Axiom: CongoBuyBookCreateAcctInfo type Input Explanation: CongoBuyBookCreateAcctInfo type Input Axiom: SpecifyPaymentMethodCreditCardNumber type Input Explanation: SpecifyPaymentMethodCreditCardNumber type Input Axiom: FullCongoBuyBookName type Input Explanation: FullCongoBuyBookName type Input Axiom: CongoBuyBookSignInData type Input Explanation: CongoBuyBookSignInData type Input Axiom: FullCongoBuyDeliveryAddress type Input Explanation: FullCongoBuyDeliveryAddress type Input Axiom: FullCongoBuyCreateAcctInfo type Input Explanation: FullCongoBuyCreateAcctInfo type Input Axiom: CongoBuyBookPackagingSelection type Input Explanation: CongoBuyBookPackagingSelection type Input Axiom: SignInAlternativesSignInData type Input Explanation: SignInAlternativesSignInData type Input Axiom: BuySequenceCreditCardNumber type Input Explanation: BuySequenceCreditCardNumber type Input Axiom: SpecifyPaymentMethodCreditCardType type Input Explanation: SpecifyPaymentMethodCreditCardType type Input Axiom: DeliveryTypeSelection type Input Explanation: DeliveryTypeSelection type Input Axiom: SignInInfo type Input Explanation: SignInInfo type Input Axiom: ExpressCongoBuyCreditCardExpirationDate type Input Explanation: ExpressCongoBuyCreditCardExpirationDate type Input Axiom: FullCongoBuyCreditCardNumber type Input Explanation: FullCongoBuyCreditCardNumber type Input Axiom: BuySequenceCreditCardExpirationDate type Input Explanation: BuySequenceCreditCardExpirationDate type Input Axiom: DeliveryAddress type Input Explanation: DeliveryAddress type Input Axiom: CongoBuyBookISBN type Input Explanation: CongoBuyBookISBN type Input Axiom: FullCongoBuyPackagingSelection type Input Explanation: FullCongoBuyPackagingSelection type Input Axiom: FullCongoBuyDeliveryTypeSelection type Input Explanation: FullCongoBuyDeliveryTypeSelection type Input Axiom: BuySequenceBookISBN type Input Explanation: BuySequenceBookISBN type Input Axiom: SignInSequenceSignInInfo type Input Explanation: SignInSequenceSignInInfo type Input Axiom: ExpressCongoBuyBookISBN type Input Explanation: ExpressCongoBuyBookISBN type Input Axiom: BuySequenceSignInData type Input Explanation: BuySequenceSignInData type Input Axiom: ExpressCongoBuyCreditCardType type Input Explanation: ExpressCongoBuyCreditCardType type Input Axiom: CreateAcctInfo type Input Explanation: CreateAcctInfo type Input Axiom: CreateAcctSequenceCreateAcctInfo type Input Explanation: CreateAcctSequenceCreateAcctInfo type Input Axiom: FullCongoBuyCreditCardType type Input Explanation: FullCongoBuyCreditCardType type Input Axiom: LocatedBook type ResultVar Explanation: LocatedBook type ResultVar Axiom: ExpressCongoBuyBook type ResultVar Explanation: ExpressCongoBuyBook type ResultVar Axiom: FullCongoBuyShipment type ResultVar Explanation: FullCongoBuyShipment type ResultVar Axiom: ExpressCongoBuyShipment type ResultVar Explanation: ExpressCongoBuyShipment type ResultVar Axiom: CreateAcctSequenceCreateAcctOutput type Output Explanation: CreateAcctSequenceCreateAcctOutput type Output Axiom: FullCongoBuyCreateAcctOutput type Output Explanation: FullCongoBuyCreateAcctOutput type Output Axiom: CongoBuyBookCreateAcctOutput type Output Explanation: CongoBuyBookCreateAcctOutput type Output Axiom: ExpressCongoBuyOutput type Output Explanation: ExpressCongoBuyOutput type Output Axiom: LocateBookOutput type Output Explanation: LocateBookOutput type Output Axiom: BuySequenceAcctID type Output Explanation: BuySequenceAcctID type Output Axiom: SignInAlternativesAcctID type Output Explanation: SignInAlternativesAcctID type Output Axiom: SignInSequenceAcctID type Output Explanation: SignInSequenceAcctID type Output Axiom: FullCongoBuyOutput type Output Explanation: FullCongoBuyOutput type Output Axiom: CreateAcctOutput type Output Explanation: CreateAcctOutput type Output Axiom: ExpressCongoBuyAcctID type Local Explanation: ExpressCongoBuyAcctID type Local Axiom: ExpressCongoBuyCreditCard type Local Explanation: ExpressCongoBuyCreditCard type Local