3 .1----AcceptProposal 3 .2----Agree 3 .3----Cancel 3 .4----CallforProposal 3 .5----Confirm 3 .6----Disconfirm 3 .7----Failure 3 .8----Inform 3 .9----InformIf 3 .10----InformRef 3 .11----NotUnderstood 3 .12----Propagate 3 .13----Propose 3 .14----Proxy 3 .15----QueryIf 3 .16----QueryRef 3 .17----Refuse 3 .18----RejectProposal 3 .19----Request 3 .20----RequestWhen 3 .21----RequestWhenever 3 .22----Subscribe Discourse graphs, describing the overall structure of the discourse . Main objects are entities, speech acts and instrumental acts, activities, and various components of and relations between these . Conversation graphs, describing the dynamic discourse features . Main elements are stages of conversations, speakers and hearers, and various predicates controlling the conversation . In addition to the two types of graphs, there are a number of tables describing purposes, effects, media, etc . of discourses and individual speech acts . The modeling process of SAMPO is not discussed in a structured way in (Auramäki et al ., 1988), but the following activities can be identified (and iteration is stressed): Characterization of discourse: Initial interviews with users in order to define discourse type . Identification of main speech acts of the discourse . Naming of discourse entities, e .g ., agents . Further clarification of speech acts and instrumental acts in tables (purpose, frequency, timing, etc .) . Construction of activity tables (functional units of the organization) . Construction of predicate tables to control the flow of the discourse . Analysis of discourse: Analyze coherency of discourse by creating a conversation graph . Analyze the completeness of discourse (finding conditions for termination of processes through transformation of conversation graph into reachability tree) . Describe coordination of commitments (modeling how speech acts influence each other) . Analyze discourse ambiguity (concerning performance, commitments, and roles) . actCommunicationActSingle [Indices] [Hier] [Facets] [Alpha] isa: (tColOfConceptNodesForTaskTypeFn cwIntelligenceAnalysisTaskAllotment), iUI_InformationAndCWsTopic, ttTypicalHumanActivityTypeAtLeastOnce, vEventOrRoleConcept genls: actCommunicating, eventInformationTransferEvent Context: Union of all contexts Predicate: genls Index: 2 Parameters updated at 02:41:08 on 08/30/2013 [Help] Change Hierarchy Browser Settings . . . *tIndividual *(tColOfCollectionUnionFn (tSetOfTheSetFn tSpatialThing vtVectorInterval)) [iUniversalVocabularyMt] *tSpatialThing [iBaseKB] *tSpatialThingLocalized [iUniversalVocabularyMt] *stateSituationLocalized [iUniversalVocabularyMt] *eventEventLocalized [iUniversalVocabularyMt] *eventPhysicalEvent [iUniversalVocabularyMt] *actCommunicating [(mtContextOfPCWFn iTheAURABiologyOntology)] *statePhysicalSituation [iUniversalVocabularyMt] *eventPhysicalEvent [iUniversalVocabularyMt] . . . *see above* -> *tThing *(tColOfCollectionUnionFn (tSetOfTheSetFn tSpatialThing vtVectorInterval)) [iUniversalVocabularyMt] . . . *see above* . . . *tIndividual *tSpatialThing [iUniversalVocabularyMt] . . . *see above* . . . *tLandmarkUnderspecified *tBoundaryUnderspecified [iUniversalVocabularyMt] *tSpatialThingLocalized [iUniversalVocabularyMt] . . . *see above* . . . *tRegionUnderspecified *tBoundaryUnderspecified [iUniversalVocabularyMt] . . . *see above* -> *tThing *(tColOfCollectionUnionFn (tSetOfTheSetFn tTemporalThing tCol)) [iUniversalVocabularyMt] *tTemporalThing [iBaseKB] *(tColOfCollectionUnionFn (tSetOfTheSetFn eventEvent timeOfTimeInterval)) [iUniversalVocabularyMt] *eventEvent [iBaseKB] *eventGeneralizedTransfer [iUniversalVocabularyMt] *eventInformationTransferEvent [iUniversalVocabularyMt] *(tColOfCollectionUnionFn (tSetOfTheSetFn timeOfTimeInterval stateSituation)) [iBaseKB] *stateSituation [iBaseKB] *eventPhysicalEvent [(mtContextOfPCWFn iTheAURABiologyOntology)] . . . *see above* *tTemporallyExistingThing [iUniversalVocabularyMt] *stateSituation [iUniversalVocabularyMt] . . . *see above* *tTemporallyExtendedThing [iBaseKB, iUniversalVocabularyMt] *stateSituation [iUniversalVocabularyMt] . . . *see above* . . . *stateSituation *stateMentalSituation [iUniversalVocabularyMt] *eventAtLeastPartiallyMentalEvent [iUniversalVocabularyMt] *eventCompositePhysicalAndMentalEvent [iUniversalVocabularyMt] *actPurposefulPhysicalAction [iUniversalVocabularyMt] *actCommunicating [iUniversalVocabularyMt] *eventSocialOccurrence [iUniversalVocabularyMt] *actCommunicating [iUniversalVocabularyMt] . . . *tAura_Thing *tAura_KMClass [(mtContextOfPCWFn iTheAURABiologyOntology)] *tAura_Cliche [(mtContextOfPCWFn iTheAURABiologyOntology)] *actPurposefulAction [(mtContextOfPCWFn iTheAURABiologyOntology)] *actPurposefulPhysicalAction [iBaseKB, iUniversalVocabularyMt] . . . *see above* *tTemporalThing [(mtContextOfPCWFn iTheAURABiologyOntology)] . . . *see above* . . . *tExpressionUnderspecified *(tColOfCollectionUnionFn (tSetOfTheSetFn actAction (tColOfCollectionUnionFn (tSetOfTheSetFn mobPerson tGroupedMultiPersonAgent)))) [iBaseKB] *actAction [iBaseKB] *actPurposefulAction [iUniversalVocabularyMt] . . . *see above* . . . *tIndividual *(iConceptOfExternalOntologyWithNameFn iTheAURABiologyOntology "KM_Class") [iUniversalVocabularyMt] *(iConceptOfExternalOntologyWithNameFn iTheAURABiologyOntology "Cliche") [(mtContextOfPCWFn iTheAURABiologyOntology)] *actPurposefulAction [(mtContextOfPCWFn iTheAURABiologyOntology)] . . . *see above* *tTemporalThing [iUniversalVocabularyMt] . . . *see above* . . . *tLandmarkUnderspecified *(tColOfCollectionUnionFn (tSetOfTheSetFn actAction (tColOfCollectionUnionFn (tSetOfTheSetFn mobPerson tGroupedMultiPersonAgent)))) [iBaseKB] . . . *see above* . . . *tLocationUnderspecified *tTrajectorUnderspecified [iUniversalVocabularyMt] *tIndividual [iUniversalVocabularyMt] *stateSituation [iUniversalVocabularyMt] . . . *see above* *tIntangibleIndividual [iUniversalVocabularyMt] *(iMeaningInSystemFn iCW_SENSUSInformation1997 "INTERPERSONAL-THING") [iUniversalVocabularyMt] *actCommunicating [iUniversalVocabularyMt] . . . *tPartiallyIntangibleIndividual *(tColOfCollectionUnionFn (tSetOfTheSetFn actAction (tColOfCollectionUnionFn (tSetOfTheSetFn mobPerson tGroupedMultiPersonAgent)))) [iBaseKB] . . . *see above* . . . *tTemporallyExistingThing *(tColOfCollectionUnionFn (tSetOfTheSetFn actAction (tColOfCollectionUnionFn (tSetOfTheSetFn mobPerson tGroupedMultiPersonAgent)))) [iBaseKB] . . . *see above* *tSpatialThingLocalized [iUniversalVocabularyMt] . . . *see above* -> *tThing *(tColOfCollectionDifferenceFn tThing mobPerson) [iUniversalVocabularyMt] *tIntangible [iUniversalVocabularyMt] *tIntangibleIndividual [iBaseKB, iUniversalVocabularyMt] . . . *see above* *(tColOfCollectionDifferenceFn tThing tPotentiallyExtrinsicallyValuable) [iUniversalVocabularyMt] *tTemporallyExtendedThing [iUniversalVocabularyMt] . . . *see above* *(tColOfCollectionUnionFn (tSetOfTheSetFn actAction tArtifactGeneric cwPropositionalConceptualWork)) [iUniversalVocabularyMt] *actAction [iBaseKB] . . . *see above* *(tColOfCollectionUnionFn (tSetOfTheSetFn actAction (tColOfCollectionUnionFn (tSetOfTheSetFn mobPerson tGroupedMultiPersonAgent)))) [iUniversalVocabularyMt] . . . *see above* *tAura_KMClass [iUniversalVocabularyMt] . . . *see above* *tPartiallyIntangible [iUniversalVocabularyMt] *tIntangible [iUniversalVocabularyMt] . . . *see above* *tPartiallyIntangibleIndividual [iBaseKB, iUniversalVocabularyMt] *tIntangibleIndividual [iUniversalVocabularyMt] . . . *see above* *tRdfs_Resource [iUniversalVocabularyMt] *tOwl_Thing [iUniversalVocabularyMt] *eventEvent [iDBPediaOntologyMappingMt] . . . *see above* . . . *eventAtLeastPartiallyMentalEvent *eventConsciousActivity [iUniversalVocabularyMt] *actPurposefulAction [iUniversalVocabularyMt] . . . *see above* . . . *eventEvent *actAction [iUniversalVocabularyMt] . . . *see above* *eventAtLeastPartiallyMentalEvent [iUniversalVocabularyMt] . . . *see above* . . . *stateSituation *stateSituationLocalized [iUniversalVocabularyMt] . . . *see above* . . . *tAura_Thing *tIndividual [(mtContextOfPCWFn iTheAURABiologyOntology)] . . . *see above* . . . *tContainerUnderspecified *tPathUnderspecified [iUniversalVocabularyMt] *tPathGeneric [iUniversalVocabularyMt] *eventGeneralizedTransfer [iY2CrisisMt] . . . *see above* . . . *tExpressionUnderspecified *actAction [iUniversalVocabularyMt] . . . *see above* . . . *tIndividual *(iConceptOfExternalOntologyWithNameFn iTheAURABiologyOntology "Cliche") [iUniversalVocabularyMt] . . . *see above* *tLandmarkUnderspecified [iUniversalVocabularyMt] *eventEvent [iUniversalVocabularyMt] . . . *see above* *tPartiallyIntangibleIndividual [iUniversalVocabularyMt] . . . *see above* . . . *tIntangibleIndividual *(tColOfCollectionUnionFn (tSetOfTheSetFn eventEvent timeOfTimeInterval)) [iUniversalVocabularyMt] . . . *see above* *(tColOfCollectionUnionFn (tSetOfTheSetFn mtPropositionalInformationThing stateSituation)) [iBaseKB] *stateSituation [iBaseKB] . . . *see above* *(tColOfCollectionUnionFn (tSetOfTheSetFn timeOfTimeInterval stateSituation)) [iBaseKB] . . . *see above* *tTemporallyExtendedThing [iBaseKB] . . . *see above* . . . *tLandmarkUnderspecified *(tColOfCollectionUnionFn (tSetOfTheSetFn eventEvent tObjectArtifact)) [iBaseKB] *eventEvent [iBaseKB] . . . *see above* . . . *tLocationUnderspecified *tLandmarkUnderspecified [iUniversalVocabularyMt] . . . *see above* *tRegionUnderspecified [iUniversalVocabularyMt] *tContainerUnderspecified [iUniversalVocabularyMt] *eventSocialOccurrence [iUniversalVocabularyMt] . . . *see above* *tExpressionUnderspecified [iUniversalVocabularyMt] *eventInformationTransferEvent [iUniversalVocabularyMt] . . . *tTemporallyExistingThing *(tColOfCollectionUnionFn (tSetOfTheSetFn eventEvent tObjectArtifact)) [iBaseKB] . . . *see above* -> *tThing *(tColOfCollectionUnionFn (tSetOfTheSetFn eventEvent tObjectArtifact)) [iUniversalVocabularyMt] . . . *see above* *(tColOfCollectionUnionFn (tSetOfTheSetFn mtPropositionalInformationThing stateSituation)) [iUniversalVocabularyMt] . . . *see above* *(tColOfCollectionUnionFn (tSetOfTheSetFn timeOfTimeInterval stateSituation)) [iUniversalVocabularyMt] . . . *see above* *tAura_Cliche [iUniversalVocabularyMt] . . . *see above* *tAura_Thing [iUniversalVocabularyMt] *stateSituation [(mtContextOfPCWFn iTheAURABiologyOntology)] . . . *see above* *tIndividual [iLogicalTruthMt] . . . *see above* *tIntangible [iUniversalVocabularyMt] . . . *see above* *tLocationUnderspecified [iUniversalVocabularyMt] *tAgentUnderspecified [iUniversalVocabularyMt] *tExpressionUnderspecified [iUniversalVocabularyMt] . . . *see above* *tOwl_Thing [iUniversalVocabularyMt] . . . *see above* *tTemporallyExtendedThing [iUniversalVocabularyMt] . . . *see above* . . . *eventEvent *eventEventLocalized [iUniversalVocabularyMt] . . . *see above* . . . *stateSituation *eventEvent [iUniversalVocabularyMt] . . . *see above* -> *tAnonymousOWLTerm_522 *eventEvent [iDBPediaOntologyMappingMt] . . . *see above* -> *tAnonymousOWLTerm_61 *eventEvent [iDBPediaOntologyMappingMt] . . . *see above* . . . *tIntangibleIndividual *stateSituation [iUniversalVocabularyMt] . . . *see above* . . . *eventPhysicalEvent *actPurposefulPhysicalAction [iUniversalVocabularyMt] . . . *see above* *eventGeneralizedTransfer [(mtContextOfPCWFn iTheAURABiologyOntology)] . . . *see above* *eventSocialOccurrence [iUniversalVocabularyMt] . . . *see above* *actCommunicationActSingle [iUniversalVocabularyMt -> (*actCommunicating, *eventInformationTransferEvent)] *(tColOfCollectionUnionFn (tSetOfTheSetFn actIssuingAWritOfCertiori actDenyingAPetitionOfCertiori)) [iBaseKB] *actDenyingAPetitionOfCertiori [iBaseKB] <- *actIssuingAWritOfCertiori [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToFn actCommunicationActSingle senderOfInfo iUdaiHusseinAlTakriti) [iBaseKB] <- *actAcknowledgingCommunicationAct [iUniversalVocabularyMt] *actAcceptingCommunicationAct [iUniversalVocabularyMt] *actAcceptingCommissiveCommunicationAct [iUniversalVocabularyMt] *actAcceptingCommissiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actAcceptingConstativeCommunicationAct [iUniversalVocabularyMt] *actAcceptingConstativeSoftwareAgentCom [iUniversalVocabularyMt] <- *actAcceptingSoftwareAgentCom [iUniversalVocabularyMt] *actAcceptingCommissiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actAcceptingConstativeSoftwareAgentCom [iUniversalVocabularyMt] <- *actApprovalCommunicationAct [iUniversalVocabularyMt] *actApprovingARequest [iUniversalVocabularyMt] *actAcceptingAnApology [iUniversalVocabularyMt] <- *actAcceptingAnInsuranceClaim [iUniversalVocabularyMt] <- *actAcceptingAnInvitation [iUniversalVocabularyMt] <- *actApprovalOfLoan [iUniversalVocabularyMt] *actAutomaticApprovalOfLoan [iUniversalVocabularyMt] <- *actApprovalOfTreaty [iUniversalVocabularyMt] <- *actApprovingARequestSoftwareAgentCom [iUniversalVocabularyMt] <- *actPresidentSigningBillIntoLawUSLegislativeProcess [iUniversalVocabularyMt] <- *actProposalAcceptance [iUniversalVocabularyMt] *actApprovingProposedBill [iUniversalVocabularyMt] *actPassingALaw [iUniversalVocabularyMt] <- *actSigningALegislativeActIntoLaw [iComputerGMt, iUniversalVocabularyMt] *actPresidentSigningBillIntoLawUSLegislativeProcess [iComputerGMt] <- *actApprovingProposedBill [iUniversalVocabularyMt] *actPassingALaw [iUniversalVocabularyMt] <- *actEndorsingCommunicationAct [iUniversalVocabularyMt] *actEndorsingAPoliticalCandidate [iUniversalVocabularyMt] <- *actEndorsingAProduct [iUniversalVocabularyMt] <- *actPassingALaw [iUniversalVocabularyMt] <- *actPointingThumbsUp [iUniversalVocabularyMt] <- *eventTakingABribe [iHPKBVocabMt] <- *actAcknowledgingAnEstimationDemonstration [iUniversalVocabularyMt] *actAcknowledgingAnEstimationDemonstrationFractionOfANumber [iUniversalVocabularyMt] <- *actAcknowledgingPlantingOfRedFlagUserAction [iUniversalVocabularyMt] <- *actAcknowledgingSoftwareAgentCom [iUniversalVocabularyMt] *actAcceptingSoftwareAgentCom [iUniversalVocabularyMt] *actAcceptingCommissiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actAcceptingConstativeSoftwareAgentCom [iUniversalVocabularyMt] <- *actRejectingSoftwareAgentCom [iUniversalVocabularyMt] *actRejectingCommissiveSoftwareAgentCom [iUniversalVocabularyMt] *actRejectingCommissivePartialSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingCommissiveTotalSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingDirectiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actAcknowledgingUserInput [iUniversalVocabularyMt] *actAcknowledgingTheUserInput [iUniversalVocabularyMt] <- *actApologizing [iCycNounLearnerMt] *actFormalApology [iUniversalVocabularyMt] <- *actBELLAEstimatorToolMenuSelectionEstimateAFractionOfANumber [iBELLAUniverseMt] <- *actDecliningCommunicationAct [iUniversalVocabularyMt] *actDecliningAnInvitation [iUniversalVocabularyMt] <- *actDecliningARequest [iUniversalVocabularyMt] <- *actRefusingCommunicationAct [iUniversalVocabularyMt] *actDenyingAPetitionOfCertiori [iUniversalVocabularyMt] <- *actRejectingAnInsuranceClaim [iUniversalVocabularyMt] <- *actNoddingGesture [iUniversalVocabularyMt] <- *actNotUnderstandingCommunicationAct [iUniversalVocabularyMt] *actNotUnderstandingSoftwareAgentCom [iUniversalVocabularyMt] <- *actRejectingCommunicationAct [iUniversalVocabularyMt] *actDenyingAccessToArea [iUniversalVocabularyMt] <- *actDenyingReplying [iUniversalVocabularyMt] <- *actOverridingACautionFlagNotice [iUniversalVocabularyMt] <- *actProposalRejection [iUniversalVocabularyMt] *actRejectingProposedBill [iUniversalVocabularyMt] <- *actRejectingCommissiveCommunicationAct [iUniversalVocabularyMt] *actRejectingCommissivePartial [iUniversalVocabularyMt] *actRejectingCommissivePartialSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingCommissiveSoftwareAgentCom [iUniversalVocabularyMt] *actRejectingCommissivePartialSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingCommissiveTotalSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingCommissiveTotal [iUniversalVocabularyMt] *actRejectingCommissiveTotalSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingConstativePartial [iUniversalVocabularyMt] <- *actRejectingConstativeTotal [iUniversalVocabularyMt] <- *actRejectingDiplomaticAssistance [iUniversalVocabularyMt] <- *actRejectingDirectiveCommunicationAct [iUniversalVocabularyMt] *actRejectingDirectivePartial [iUniversalVocabularyMt] <- *actRejectingDirectiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actRejectingDirectiveTotal [iUniversalVocabularyMt] <- *actRejectingProposedBill [iUniversalVocabularyMt] <- *actRejectingSoftwareAgentCom [iUniversalVocabularyMt] *actRejectingCommissiveSoftwareAgentCom [iUniversalVocabularyMt] *actRejectingCommissivePartialSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingCommissiveTotalSoftwareAgent [iUniversalVocabularyMt] <- *actRejectingDirectiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actVetoingSomething [iUniversalVocabularyMt] *actLineItemVeto [iUniversalVocabularyMt] *actPresidentialLineItemVetoUSLegislativeProcess [iUniversalVocabularyMt] <- *actPresidentialVetoUSLegislativeProcess [iUniversalVocabularyMt] *actPocketVetoUSLegislativeProcess [iUniversalVocabularyMt] <- *actPresidentialLineItemVetoUSLegislativeProcess [iUniversalVocabularyMt] <- *actReplying [iUniversalVocabularyMt] *actReplyingNoncommittal [iUniversalVocabularyMt] <- *actRespondingToAQuestion [iUniversalVocabularyMt] *actReplyingToAQuestion [iUniversalVocabularyMt] *actPleaLegal [iUniversalVocabularyMt] *actGuiltyPlea [iUniversalVocabularyMt] <- *actNoContestPlea [iUniversalVocabularyMt] <- *actNotGuiltyPlea [iUniversalVocabularyMt] <- *actProvidingRequestedInformationToComputerProcess [iUniversalVocabularyMt] <- *actProvidingTheSolutionToAProblem [iUniversalVocabularyMt] *actProvidingTheAnswerToAMathProblem [iUniversalVocabularyMt] *(actProvidingTheAnswerToMathProblemOfTypeFn cwDeterminePropertyOfASampleProblem) [iBaseKB] <- *(actProvidingTheAnswerToMathProblemOfTypeFn cwExpressionComparisonProblem) [iBaseKB] <- *(actProvidingTheAnswerToMathProblemOfTypeFn cwQuantitativeRelationshipMathProblem) [iBaseKB] <- *(actProvidingTheAnswerToMathProblemOfTypeFn cwSolveLinearEquationOfOneVariableProblem) [iBaseKB] <- *actReplyingToAYesOrNoQuestion [iUniversalVocabularyMt] *actAffirmingReplying [iUniversalVocabularyMt] <- *actAnsweringABooleanWindow [iUniversalVocabularyMt] <- *actDenyingReplying [iUniversalVocabularyMt] <- *actRespondingToARequestForClarification [iUniversalVocabularyMt] <- *actRequestingClarification [iUniversalVocabularyMt] *actRequestingClarificationOfVaguePlantingOfRedFlagUserAction [iUniversalVocabularyMt] <- *actAdvertising [iUniversalVocabularyMt] *(actAdvertisingViaMediumFn tBannerAdvertisementOnWebPage) [iBaseKB] <- *(actAdvertisingViaMediumFn tBillboard) [iBaseKB] <- *(actAdvertisingViaMediumFn tObjectStationarySign) [iBaseKB] *(actAdvertisingViaMediumFn tBillboard) [iUnitedStatesSocialLifeMt] <- *actAdvertisingBusiness [iUniversalVocabularyMt] <- *actAdvertisingPolitical [iUniversalVocabularyMt] <- *actCircularizationAdvertising [iUniversalVocabularyMt] *actCircularizingSomeone [iUniversalVocabularyMt] <- *actEndorsingAProduct [iUniversalVocabularyMt] <- *actFashionShow [iUniversalVocabularyMt] <- *actMarketingBlitz [iUniversalVocabularyMt] <- *actRadioCommercialIBT [iUniversalVocabularyMt] <- *actTVCommercialIBT [iUniversalVocabularyMt] <- *actApologizing [iUniversalVocabularyMt] *actFormalApology [iUniversalVocabularyMt] <- *actChallengingSomeone [iUniversalVocabularyMt] <- *actCongratulating [iUniversalVocabularyMt] <- *actConsoling [iUniversalVocabularyMt] <- *actCycInterlocutorUtterance [iUniversalVocabularyMt] <- *actEncryptedCommunication [iUniversalVocabularyMt] *(actOnlineActivityTypeFn actEncryptedCommunication) [iBaseKB, iTheMotleyFoolUKCorpusMt] <- *(stateNthSubSituationTypeOfTypeFn actProtectionOfOnlineBanking actEncryptedCommunication 1) [iBaseKB] <- *actForbiddingSomething [iUniversalVocabularyMt] <- *actGrantingPermission [iUniversalVocabularyMt] *(actIssuingCredentialTypeFn (cwPermitForSitTypeFn actDeepSeaOilDrilling)) [iBaseKB] <- *actAdmitToMembership [iUniversalVocabularyMt] *actInitiationCeremony [iUniversalVocabularyMt] *actBaptism [iUniversalVocabularyMt] <- *actCoronation [iUniversalVocabularyMt] <- *actInauguration [iUniversalVocabularyMt, iWebSearchEnhancementMt] *actUSPresidentialInauguration [iUniversalVocabularyMt] <- *actReadmitingSomeone [iUniversalVocabularyMt] <- *actDeallocationOfResources [iUniversalVocabularyMt] *actDeallocationOfComputerMemory [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actDeallocationOfComputerMemory memoryDeallocatedFrom vtStackBasedMemoryEntire) [iBaseKB] <- *actDeallocationOfComputerStorage [iUniversalVocabularyMt] <- *actStackDeallocation [iUniversalVocabularyMt] <- *actIssuingAPermit [iUniversalVocabularyMt] *actIssuingALicense [iUniversalVocabularyMt] *(actIssuingLicenseTypeFn cwDriversLicenseLicenseAgreement) [iBaseKB] <- *(actIssuingLicenseTypeFn cwMarriageLicense) [iBaseKB] <- *actIssuingAPrescription [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actIssuingAPrescription cWInstantiated cwDrugPrescription) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actIssuingAPrescription cWInstantiated (tColOfSubcollectionOfWithRelationToTypeFn cwMedicalPrescription prescriptionForPatient mobNonPersonAnimal)) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actIssuingAPrescription ibtGenerated tObjectDevicePrescriptionDocument) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actIssuingAPrescription ibtGenerated tObjectDrugPrescriptionDocument) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actIssuingAPrescription products tObjectCorrectiveLensPrescription) [iBaseKB] <- *actLegalizingSomethingPreviouslyIllegal [iUniversalVocabularyMt] *actMonetizingSomething [iUniversalVocabularyMt] <- *actPermittingEntrance [iUniversalVocabularyMt] *actCommittingSomeoneToAnInstitution [iUniversalVocabularyMt] *actHospitalizingSomeone [iUniversalVocabularyMt] <- *actReadmitingPermittingEntrance [iUniversalVocabularyMt] <- *actRepatriatingSomeone [iUniversalVocabularyMt] <- *actPrivilegingSomeone [iUniversalVocabularyMt] <- *actRightToBuy [iUniversalVocabularyMt] <- *actTrustingGrantingPermission [iUniversalVocabularyMt] <- *actGreetingSomeone [iUniversalVocabularyMt] *(stateSitTypeSpecWithTypeRestrictionOnRolePlayerFn actGreetingSomeone doneBy tClazzHomoSapiens) [iBaseKB, iUniversalVocabularyMt] <- *actAddressingGreetingSomeone [iUniversalVocabularyMt] <- *actGreetingSomeoneByFirstName [iUniversalVocabularyMt] <- *actWishingGreetingSomeone [iUniversalVocabularyMt] <- *actInforming [iUniversalVocabularyMt] *(stateNthSubSituationTypeOfTypeFn actCancellingAStandingOrder actInforming 1) [iBaseKB] <- *(stateNthSubSituationTypeOfTypeFn actSettingUpADirectDebit actInforming 1) [iBaseKB] <- *(stateNthSubSituationTypeOfTypeFn actSettingUpADirectDebit actInforming 2) [iBaseKB] <- *(stateNthSubSituationTypeOfTypeFn actSettingUpAStandingOrder actInforming 1) [iBaseKB] <- *(stateNthSubSituationTypeOfTypeFn (actReactionToSituationTypeFn (tColOfSubcollectionOfWithRelationToTypeFn eventFlooding eventOccursAt tPartTypeBasementRoom)) actInforming 1) [iBaseKB] <- *actAdvising [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actAdvising containsInformationAbout actInvesting) [iBaseKB] <- *actAdvisingProfessional [iUniversalVocabularyMt] *actFinancialAdvising [iUniversalVocabularyMt] <- *actPrescribingMedical [iUniversalVocabularyMt] *actPrescribingADevice [iUniversalVocabularyMt] <- *actPrescribingMedication [iUniversalVocabularyMt] <- *actPrescribingTreatment [iUniversalVocabularyMt] <- *actAnnouncingSomething [iUniversalVocabularyMt] *actCallingForProposalsCommunicationAct [iUniversalVocabularyMt] *actCallingForProposalsSoftwareAgentCom [iUniversalVocabularyMt] *actSolicitationOfCandidateBidsCoABS [iUniversalVocabularyMt] <- *actDeclaringWar [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToFn actDeclaringWar performedBy tGroupedUSFederalGovernmentOrganization) [iBaseKB] <- *actGivingAnAlarmSignal [iUniversalVocabularyMt] *actSmokeAlarmBeepingEvent [iUniversalVocabularyMt] <- *actHype [iUniversalVocabularyMt] <- *actIssuingAReligiousEdict [iUniversalVocabularyMt] <- *actSoundingAnnouncingSomething [iUniversalVocabularyMt] <- *actAttributingResponsibility [iUniversalVocabularyMt] *actAccusing [iUniversalVocabularyMt] *actMakingACriminalCharge [iUniversalVocabularyMt] *actBookingSomeoneMakingACriminalCharge [iUniversalVocabularyMt] *actTicketingMakingACriminalCharge [iUniversalVocabularyMt] *actAmercingMakingACriminalCharge [iUniversalVocabularyMt] <- *actImpeachment [iUniversalVocabularyMt] <- *tBlame [iCycNounLearnerMt] <- *actChargingDocumentingResponsibilityForPayment [iUniversalVocabularyMt] *actLevyCharging [iUniversalVocabularyMt] <- *actClaimingResponsibility [iUniversalVocabularyMt] <- *actDisapprovingCommunicationAct [iUniversalVocabularyMt] *actDebunking [iUniversalVocabularyMt] <- *actObjectingCommunicationAct [iUniversalVocabularyMt] *(stateSitTypeSpecWithTypeRestrictionOnRolePlayerFn actObjectingCommunicationAct doneBy mobPerson) [iBaseKB, iUniversalVocabularyMt] <- *actCensuringCommunicationAct [iUniversalVocabularyMt] <- *actComplaining [iUniversalVocabularyMt] *actRegisteringAComplaint [iUniversalVocabularyMt] <- *tCondemnation [iCycNounLearnerMt] *actCensuringCommunicationAct [iUniversalVocabularyMt] <- *actRidiculing [iUniversalVocabularyMt] <- *actEndorsingCommunicationAct [iUniversalVocabularyMt] *actEndorsingAPoliticalCandidate [iUniversalVocabularyMt] <- *actEndorsingAProduct [iUniversalVocabularyMt] <- *actExplainingCommunicationAct [iUniversalVocabularyMt] *actElucidatingSomething [iUniversalVocabularyMt] *actElaboratingSomething [iUniversalVocabularyMt] *actExpoundingSomething [iUniversalVocabularyMt] *actDescribingSomething [iUniversalVocabularyMt] *actDescribingAnObject [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actDescribingAnObject describedObject tGroupedModelingAndSimulationSystem) [iBaseKB] <- *actDescriptionSpeechAct [iUniversalVocabularyMt] <- *actEyeWitnessTestimony [iUniversalVocabularyMt] <- *actReporting [iUniversalVocabularyMt] *(tColOfCollectionSubsetFn actReporting (tSetOfTheSetOfFn ?REPORTING (and (isa ?REPORTING actReporting) (topicOfInfoTransfer ?REPORTING actPiracyAtSea)))) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole cwBankAccount) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole cwCreditCardAccount) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole (tColOfSubcollectionOfWithRelationFromTypeFn tObjectCreditCard itemsStolen actStealing)) [iBaseKB] *(stateNthSubSituationTypeOfTypeFn (tColOfSubcollectionOfWithRelationToTypeFn actProtectingSomething objectProtected cwCreditCardAccount) (tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole (tColOfSubcollectionOfWithRelationFromTypeFn tObjectCreditCard itemsStolen actStealing)) 1) [iBaseKB] <- *actBasicTaskSpecification [iUniversalVocabularyMt] <- *actDeliveringTheNews [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actDeliveringTheNews topicOfIndividual eventWeatherEvent) [iBaseKB] <- *actFilingAnInsuranceClaim [iUniversalVocabularyMt] *actFilingAHealthInsuranceClaim [iUniversalVocabularyMt] *actFilingAClaimForAPrescription [iUniversalVocabularyMt] *actFilingAClaimForAPrescriptionMedication [iUniversalVocabularyMt] *actFilingAClaimForAControlledSubstance [iUniversalVocabularyMt] <- *actFilingAClaimForANarcotic [iUniversalVocabularyMt] <- *actFilingAClaimForAnExtendedReleaseNarcotic [iUniversalVocabularyMt] <- *actFilingAClaimForAThreeDrugComboDrug [iUniversalVocabularyMt] <- *actFilingTaxes [iUniversalVocabularyMt] <- *actFireSupportSpecification [iUniversalVocabularyMt] <- *actMainAttackSpecification [iUniversalVocabularyMt] <- *actMiscellaneousTaskSpecification [iUniversalVocabularyMt] <- *actMissionSpecification [iUniversalVocabularyMt] <- *actQuarterlyReporting [iUniversalVocabularyMt] <- *actReserveUnitSpecification [iUniversalVocabularyMt] <- *actSupportingAttackSpecification [iUniversalVocabularyMt] <- *actSettingADeadline [iUniversalVocabularyMt] <- *actExplainingSoftwareAgentCom [iUniversalVocabularyMt] <- *actGivingSomeoneDirections [iUniversalVocabularyMt] *actGivingDirectionsOverThePhone [iUniversalVocabularyMt] <- *actGivingSomeoneDirectionsForRoadwayTravel [iUniversalVocabularyMt] <- *actGivingSomeoneDirectionsToARestroom [iUniversalVocabularyMt] *(tColOfCollectionIntersection2Fn actGivingSomeoneDirectionsToARestroom actGivingSomeoneDirectionsWithinAStructureToALocationWithinThatStructure) [iBaseKB, iUniversalVocabularyMt] <- *actGivingSomeoneDirectionsWithinAStructureToALocationWithinThatStructure [iUniversalVocabularyMt] *(stateSitTypeSpecWithTypeRestrictionOnRolePlayerFn actGivingSomeoneDirectionsWithinAStructureToALocationWithinThatStructure eventOccursWithin (tPlaceFacilityTypeOfOrganizationTypeFn tGroupedGroceryStore)) [iBaseKB, iUniversalVocabularyMt] <- *(tColOfCollectionIntersection2Fn actGivingSomeoneDirectionsToARestroom actGivingSomeoneDirectionsWithinAStructureToALocationWithinThatStructure) [iBaseKB, iUniversalVocabularyMt] <- *actInformingProgramUser [iUniversalVocabularyMt] *actAcknowledgingUserInput [iUniversalVocabularyMt] *actAcknowledgingTheUserInput [iUniversalVocabularyMt] <- *actAlertingUserToOperationalFault [iUniversalVocabularyMt] <- *actInformingTheUser [iUniversalVocabularyMt] *actAcknowledgingTheUserInput [iUniversalVocabularyMt] <- *actNotifiyingTheUserOfAStateChange [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actNotifiyingTheUserOfAStateChange deviceUsed tObjectVoicemailIndicatorLight) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actNotifiyingTheUserOfAStateChange programUsed cwVoiceMailProgram) [iBaseKB] *(tColOfSubcollectionOfWithRelationToTypeFn actNotifiyingTheUserOfAStateChange deviceUsed tObjectVoicemailIndicatorLight) [iBaseKB] <- *actInformingSoftwareAgentCom [iUniversalVocabularyMt] *actExplainingSoftwareAgentCom [iUniversalVocabularyMt] <- *actTestResultNotification [iUniversalVocabularyMt] *actTestResultNotificationEmailBrief [iUniversalVocabularyMt] <- *actTestResultNotificationEmailVerbose [iUniversalVocabularyMt] <- *actIssuingAFatwa [iUniversalVocabularyMt] <- *actIssuingAReportAboutASituation [iUniversalVocabularyMt] <- *actIssuingAWrit [iUniversalVocabularyMt] *actIssuingAnArrestWarrant [iUniversalVocabularyMt] <- *actIssuingAWritOfCertiori [iUniversalVocabularyMt] <- *actLecturing [iUniversalVocabularyMt] *actFormalLectureIBT [iUniversalVocabularyMt] *actScientificLecturing [iUniversalVocabularyMt] <- *actFormalLectureSeriesIBT [iUniversalVocabularyMt] *actTeachingACourse [iUniversalVocabularyMt] *actTeachingAScientificCourse [iUniversalVocabularyMt] <- *actLying [iUniversalVocabularyMt] *actDisseminatingDisinformation [iUniversalVocabularyMt] <- *actRomancingLying [iUniversalVocabularyMt] <- *tAura_Deceive [(mtContextOfPCWFn iTheAURABiologyOntology)] <- *actMakingAPromise [iUniversalVocabularyMt] <- *actPresentingTheResultsOfAProgramAction [iUniversalVocabularyMt] <- *actProvidingInformationToComputerProcess [iUniversalVocabularyMt] *actBasicTaskSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actFireSupportSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actMainAttackSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actMiscellaneousTaskSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actMissionSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actProvidingRequestedInformationToComputerProcess [iUniversalVocabularyMt] <- *actReserveUnitSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actSupportingAttackSpecification [iUIAGeneralMilitaryDemoEnvironmentMt] <- *actReplyingToAQuestion [iUniversalVocabularyMt] *actPleaLegal [iUniversalVocabularyMt] *actGuiltyPlea [iUniversalVocabularyMt] <- *actNoContestPlea [iUniversalVocabularyMt] <- *actNotGuiltyPlea [iUniversalVocabularyMt] <- *actProvidingRequestedInformationToComputerProcess [iUniversalVocabularyMt] <- *actProvidingTheSolutionToAProblem [iUniversalVocabularyMt] *actProvidingTheAnswerToAMathProblem [iUniversalVocabularyMt] *(actProvidingTheAnswerToMathProblemOfTypeFn cwDeterminePropertyOfASampleProblem) [iBaseKB] <- *(actProvidingTheAnswerToMathProblemOfTypeFn cwExpressionComparisonProblem) [iBaseKB] <- *(actProvidingTheAnswerToMathProblemOfTypeFn cwQuantitativeRelationshipMathProblem) [iBaseKB] <- *(actProvidingTheAnswerToMathProblemOfTypeFn cwSolveLinearEquationOfOneVariableProblem) [iBaseKB] <- *actReplyingToAYesOrNoQuestion [iUniversalVocabularyMt] *actAffirmingReplying [iUniversalVocabularyMt] <- *actAnsweringABooleanWindow [iUniversalVocabularyMt] <- *actDenyingReplying [iUniversalVocabularyMt] <- *actReporting [iUniversalVocabularyMt] *(tColOfCollectionSubsetFn actReporting (tSetOfTheSetOfFn ?REPORTING (and (isa ?REPORTING actReporting) (topicOfInfoTransfer ?REPORTING actPiracyAtSea)))) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole cwBankAccount) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole cwCreditCardAccount) [iBaseKB] <- *(tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole (tColOfSubcollectionOfWithRelationFromTypeFn tObjectCreditCard itemsStolen actStealing)) [iBaseKB] *(stateNthSubSituationTypeOfTypeFn (tColOfSubcollectionOfWithRelationToTypeFn actProtectingSomething objectProtected cwCreditCardAccount) (tColOfSubcollectionOfWithRelationToTypeFn actReporting topicRole (tColOfSubcollectionOfWithRelationFromTypeFn tObjectCreditCard itemsStolen actStealing)) 1) [iBaseKB] <- *actBasicTaskSpecification [iUniversalVocabularyMt] <- *actDeliveringTheNews [iUniversalVocabularyMt] *(tColOfSubcollectionOfWithRelationToTypeFn actDeliveringTheNews topicOfIndividual eventWeatherEvent) [iBaseKB] <- *actFilingAnInsuranceClaim [iUniversalVocabularyMt] *actFilingAHealthInsuranceClaim [iUniversalVocabularyMt] *actFilingAClaimForAPrescription [iUniversalVocabularyMt] *actFilingAClaimForAPrescriptionMedication [iUniversalVocabularyMt] *actFilingAClaimForAControlledSubstance [iUniversalVocabularyMt] <- *actFilingAClaimForANarcotic [iUniversalVocabularyMt] <- *actFilingAClaimForAnExtendedReleaseNarcotic [iUniversalVocabularyMt] <- *actFilingAClaimForAThreeDrugComboDrug [iUniversalVocabularyMt] <- *actFilingTaxes [iUniversalVocabularyMt] <- *actFireSupportSpecification [iUniversalVocabularyMt] <- *actMainAttackSpecification [iUniversalVocabularyMt] <- *actMiscellaneousTaskSpecification [iUniversalVocabularyMt] <- *actMissionSpecification [iUniversalVocabularyMt] <- *actQuarterlyReporting [iUniversalVocabularyMt] <- *actReserveUnitSpecification [iUniversalVocabularyMt] <- *actSupportingAttackSpecification [iUniversalVocabularyMt] <- *actRetractingCommunicationAct [iUniversalVocabularyMt] *actRetractingCommissivePartial [iUniversalVocabularyMt] <- *actRetractingCommissiveTotal [iUniversalVocabularyMt] <- *actRetractingConstativePartial [iUniversalVocabularyMt] <- *actRetractingConstativeTotal [iUniversalVocabularyMt] <- *actRetractingDirectiveCommunicationAct [iUniversalVocabularyMt] *actRetractingDirectiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actRetractingSoftwareAgentCom [iUniversalVocabularyMt] *actRetractingDirectiveSoftwareAgentCom [iUniversalVocabularyMt] <- *actRevealingTrueInformation [iUniversalVocabularyMt] <- *actRevokingASignalThatKAObjectIsReadyForNextAction [iUniversalVocabularyMt] <- *actScientificPresentation [iUniversalVocabularyMt] *actScientificLecturing [iUniversalVocabularyMt] <- *actSignalingAKAObjectReadyForNextAction [iUniversalVocabularyMt] <- *actSignalingKEReadyForReviewOnPCW [iUniversalVocabularyMt] <- *actSignalingPresenceAtDoor [iUniversalVocabularyMt] <- *actStatingSomething [iUniversalVocabularyMt] *actBoasting [iUniversalVocabularyMt] <- *actMakingAPrediction [iUniversalVocabularyMt] *(actPredictingWhetherFn (xQuoteFn (genls (iArbitraryInstanceFn (tColOfSpecsFn eventPhysicalEvent)) eventProcessRequiringNoEnergyInput))) [iBaseKB] *(tColOfCollectionIntersection2Fn actSuccessfulAction (actPredictingWhetherFn (xQuoteFn (genls (iArbitraryInstanceFn (tColOfSpecsFn eventPhysicalEvent)) eventProcessRequiringNoEnergyInput)))) [iBaseKB, iUniversalVocabularyMt] <- *(actPredictingWhetherFn (xQuoteFn (isa (iArbitraryInstanceFn eventPhysicalEvent) eventProcessRequiringNoEnergyInput))) [iBaseKB] *(tColOfCollectionIntersection2Fn actSuccessfulAction (actPredictingWhetherFn (xQuoteFn (isa (iArbitraryInstanceFn eventPhysicalEvent) eventProcessRequiringNoEnergyInput)))) [iBaseKB, iUniversalVocabularyMt] <- *actReportingACrimeToALawEnforcementAgent [iUniversalVocabularyMt] <- *actStatingWhatOtherIsDoing [iUniversalVocabularyMt] <- *tCommunicatingSpecification [iKEIOUMt] *actIssuingAWritOfCertiori [iUniversalVocabularyMt] <- *actSoftwareDevelopmentRequirementsSpecificationStage [iUniversalVocabularyMt] <- *actTestifying [iUniversalVocabularyMt] <- *tConfession [iCycNounLearnerMt] <- *tDeclaration [iCycNounLearnerMt] <- *tReassurance [iCycNounLearnerMt] <- *tUnderstatement [iCycNounLearnerMt] <- *actInsistingCommunicationAct [iUniversalVocabularyMt] *actRefusingCommunicationAct [iUniversalVocabularyMt] *actDenyingAPetitionOfCertiori [iUniversalVocabularyMt] <- *actRejectingAnInsuranceClaim [iUniversalVocabularyMt] <- *actInsultingSomeone [iUniversalVocabularyMt] *actInsultingAnOfficial [iUniversalVocabularyMt] <- *actIntimidationCommunicationAct [iUniversalVocabularyMt] *actBrandishingAWeapon [iUniversalVocabularyMt] <- *actMakingAThreat [iUniversalVocabularyMt] *(actThreateningToDoFn actArson) [iBaseKB] *(actThreateningToDoFn actArson) [iHumanSocialLifeMt] rdfs:subClassOf rdfs:subClassOf Given: fact1- i:myCar rdf:type c:HondaCivic . fact2- c:HondaCivic rdfs:subClassOf c:PassengerVehicle . fact3- c:PassengerVehicle rdfs:subClassOf c:ThingThatCanBeInsured . From fact1 + fact2 + fact3 may i conclude? result1- i:myCar rdf:type c:PassengerVehicle . result2- i:myCar rdf:type c:ThingThatCanBeInsured . No, because FOL doesnt give me this transitive closure . So, Lets make it by adding a rule: rule1 - { ?c rdfs:subClassOf ?sc. ?i rdf:type ?c . } -> { ?i rdf:type ?sc } ASK> i:myCar rdf:type ?WHAT result1> ?WHAT = c:PassengerVehicle proof> rule1- { ?c rdfs:subClassOf ?sc. ?i rdf:type ?c . } -> { ?i rdf:type ?sc } fact1- i:myCar rdf:type c:HondaCivic . fact2- c:HondaCivic rdfs:subClassOf c:PassengerVehicle . rule1+fact2+fact1 c:HondaCivic rdfs:subClassOf c:PassengerVehicle . i:myCar rdf:type c:HondaCivic . ded1- -> i:myCar rdf:type c:PassengerVehicle result2> ?WHAT = c:ThingThatCanBeInsured proof> rule1- { ?c rdfs:subClassOf ?sc. ?i rdf:type ?c . } -> { ?i rdf:type ?sc } fact1- i:myCar rdf:type c:HondaCivic . fact2- c:HondaCivic rdfs:subClassOf c:PassengerVehicle . rule1+fact2+fact1: c:HondaCivic rdfs:subClassOf c:PassengerVehicle . i:myCar rdf:type c:HondaCivic . ded1- i:myCar rdf:type c:PassengerVehicle . fact3- c:PassengerVehicle rdfs:subClassOf c:ThingThatCanBeInsured . rule1+ded1+fact3 c:HondaCivic rdfs:subClassOf c:ThingThatCanBeInsured . i:myCar rdf:type c:PassengerVehicle . ded2- i:myCar rdf:type c:ThingThatCanBeInsured Oh, still no TC? Perhaps. Since TC would have meant that the proofs would have been the same lengths?