TreeView Knowledge Base Browser

appearance as argument number 1

(documentation objectTransferred EnglishLanguage "A relation that specifies the object that is transferred during the process. For example, in a Mailing process, the object transferred is a letter or package.")	Mid-level-ontology.kif 28836-28838
(domain objectTransferred 1 Transfer)	Mid-level-ontology.kif 28833-28833	domain objectTransferred, 1 and Transfer
(domain objectTransferred 2 Object)	Mid-level-ontology.kif 28834-28834	domain objectTransferred, 2 and Object
(instance objectTransferred CaseRole)	Mid-level-ontology.kif 28831-28831	instance objectTransferred and CaseRole
(subrelation objectTransferred patient)	Mid-level-ontology.kif 28832-28832	subrelation objectTransferred and patient

appearance as argument number 2

(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2")	Mid-level-ontology.kif 28835-28835
(subrelation passenger objectTransferred)	Mid-level-ontology.kif 30139-30139	subrelation passenger and objectTransferred

antecedent

(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 18030-18046	instance Transfer and Bequeathing agent Transfer and Agent destination Transfer and Entity objectTransferred Transfer and AgentROP Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Transfer holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and AgentROP confersNorm Agent, possesses Entity and AgentROP and Permission
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1717-1733	instance CorpuscularObject and Exhaust material Fuel and CorpuscularObject instance Transfer and Transfer instance CorpuscularObjectNG and Engine origin Transfer and CorpuscularObjectNG instance Physical and CatalyticConverter destination Transfer and Physical objectTransferred Transfer and CorpuscularObject hasPurpose Physical and entity instance entity and Combustion instrument entity and Physical patient entity and CorpuscularObject eventLocated entity and Physical
(=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))	Cars.kif 3896-3906	instance Object and Electromagnet instance Transfer and Transfer instance Object and Electricity objectTransferred Transfer and Object path Transfer and Object Process instance Process and Magnetism instrument Process and Object
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))))	Cars.kif 3908-3924	instance Entity and Electromagnet holdsDuring TimePosition and entity entity instance entity and Transfer instance entity and Electricity objectTransferred entity and entity path entity and Entity holdsDuring TimePosition and entity instance entity and Magnetism instrument entity and Entity
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (pathologicSideEffect ?DC ?DIS)) (modalAttribute (exists (?P) (and (instance ?P ?DIS) (experiencer ?H ?P))) Likely))	WMD.kif 1554-1566	instance Transfer and Ingesting experiencer Transfer and Agent objectTransferred Transfer and Object instance Object and ObjectC pathologicSideEffect ObjectC and ObjectIS modalAttribute entity instance entity and ObjectIS experiencer Agent and entity and Likely
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely))	WMD.kif 1536-1545	instance Transfer and Ingesting experiencer Transfer and Agent objectTransferred Transfer and Object instance Object and ObjectC sideEffect ObjectC and ObjectIS modalAttribute attribute Agent and ObjectIS and Likely
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 9342-9363	instance Transfer and Ingesting experiencer Transfer and Agent objectTransferred Transfer and Object instance Object and MoodStabilizer instance Process and ProcessC involvedInEvent Process and Agent holdsDuring WhenFn Process and attribute Agent and ProcessS instance ProcessS and EmotionalState instance Process and ProcessC involvedInEvent Process and Agent earlier WhenFn Process and WhenFn Transfer modalAttribute holdsDuring Process and attribute Agent and ProcessS and Unlikely
(=> (and (instance ?I Ingesting) (objectTransferred ?I ?H) (instance ?H Hallucinogen) (destination ?I ?P)) (modalAttribute (exists (?HAL) (and (instance ?HAL Hallucination) (experiencer ?HAL ?P))) Likely))	TransnationalIssues.kif 88-99	instance Transfer and Ingesting objectTransferred Transfer and Object instance Object and Hallucinogen destination Transfer and Entity modalAttribute ObjectAL instance ObjectAL and Hallucination experiencer ObjectAL and Entity and Likely
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2))	Merge.kif 11185-11190	instance Transfer and Transfer objectTransferred Transfer and Object orientation Object, Object and Inside objectTransferred Transfer and Object
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11192-11197	instance Transfer and Transfer objectTransferred Transfer and Object orientation Object, Object and On objectTransferred Transfer and Object
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely))	Mid-level-ontology.kif 1941-1950	instance Transfer and Vending objectTransferred Transfer and Object instance Object and Currency modalAttribute instance Object and FoodForFn Human instance Object and Beverage and Likely
(=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VAC (not (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI))))))	WMD.kif 1083-1097	vaccine Vaccine and Virus instance Transfer and Vaccination experiencer Transfer and Agent instance VaccineI and Vaccine objectTransferred Transfer and VaccineI hasPurpose Vaccine and entity instance entity and Infecting experiencer entity and Agent instance VirusI and Virus objectTransferred entity and VirusI
(=> (objectTransferred ?P ?OBJ) (exists (?O ?D) (and (origin ?P ?O) (destination ?P ?D) (holdsDuring (ImmediatePastFn ?P) (located ?OBJ ?O)) (holdsDuring (ImmediateFutureFn ?P) (located ?OBJ ?D)))))	Mid-level-ontology.kif 28840-28851	objectTransferred Transfer and Object Object Entity origin Transfer and Object destination Transfer and Entity holdsDuring ImmediatePastFn Transfer and located Object and Object holdsDuring ImmediateFutureFn Transfer and located Object and Entity

consequent

(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2117-2130	instance Agent and Animal instance Attribute and DiseaseOrSyndrome attribute Agent and Attribute Transfer Object instance Transfer and BiologicalProcess instance Transfer and Removing origin Transfer and Agent instance Object and Sewage agent Transfer and Agent objectTransferred Transfer and Object
(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H Hole) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T))))	Cars.kif 871-885	instance SelfConnectedObject and AutomobileShock instance Process and Compressing instance Hole and Hole attribute Object and Fluid equal SelfConnectedObject and HoleHostFn Hole SelfConnectedObject は Object を contains %n{ない} patient Process and SelfConnectedObject Transfer instance Transfer and Transfer objectTransferred Transfer and Object path Transfer and Hole causes Process and Transfer
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L)))))))	Mid-level-ontology.kif 5736-5755	instance Process and Coughing experiencer Process and Agent hasPurpose Process and entity entity, entity and entity instance entity and Lung instance entity and Throat instance entity and Object instance entity and Removing part entity and Agent part entity and Agent objectTransferred entity and entity holdsDuring ImmediatePastFn WhenFn Process and located entity and entity located entity and entity
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (exists (?T ?E) (and (instance ?T TearSubstance) (origin ?C ?E) (objectTransferred ?C ?T) (instance ?E Eye) (part ?E ?H))))	emotion.kif 1137-1147	instance Transfer and Crying experiencer Transfer and Agent Object Object instance Object and TearSubstance origin Transfer and Object objectTransferred Transfer and Object instance Object and Eye part Object and Agent
(=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N))))))	Mid-level-ontology.kif 5802-5820	instance Process and Sneezing experiencer Process and Agent hasPurpose Process and entity entity and entity instance entity and NasalCavity instance entityOSE and Nose equal entityOSE and HoleHostFn entity instance entity and Object instance entity and Removing part entityOSE and Agent objectTransferred entity and entity holdsDuring ImmediatePastFn WhenFn Process and located entity and entity
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1274-1295	instance Process and DustStorm instance Process and Wind subProcess Process and Process Transfer Object, Object, Object, Entity and RealNumber instance Object and LandArea eventLocated Process and Object surfaceWindSpeed Object and MeasureFn RealNumber and KnotUnitOfSpeed greaterThan RealNumber and 30.0 instance Transfer and Translocation subProcess Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object instance Object and ParticulateMatter instance Object and Sand instance Entity and LandArea destination Transfer and Entity overlapsSpatially Object and Entity
(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 10867-10884	instance Physical and HeartAttack instance Object and Heart located Physical and Object Object instance Object and Muscle part Object and Object TimeInterval Object instance TimeInterval and LiquidMotion objectTransferred TimeInterval and Object instance Object and Blood during TimeInterval and WhenFn Physical destination TimeInterval and Object
(=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 11396-11413	instance Physical and Stroke instance Object and Brain located Physical and Object Object instance Object and NerveCell part Object and Object TimeInterval Object instance TimeInterval and LiquidMotion objectTransferred TimeInterval and Object instance Object and Blood during TimeInterval and WhenFn Physical destination TimeInterval and Object
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2182-2190	instance Object and AirEngineCoolingSystem instance Transfer and Cooling instrument Transfer and Object Object instance Object and Air objectTransferred Transfer and Object
(=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L))))	Cars.kif 2166-2174	instance Object and LiquidEngineCoolingSystem instance Transfer and Cooling instrument Transfer and Object Object attribute Object and Liquid objectTransferred Transfer and Object
(=> (and (instance ?P Prescription) (instance ?M Medicine) (refers ?P ?M)) (exists (?PHARM ?S) (and (instance ?S Selling) (objectTransferred ?S ?M) (agent ?S ?PHARM) (attribute ?S Pharmacist))))	Mid-level-ontology.kif 8889-8899	instance Entity and Prescription instance Object and Medicine refers Entity and Object EntityHARM Transfer instance Transfer and Selling objectTransferred Transfer and Object agent Transfer and EntityHARM attribute Transfer and Pharmacist
(=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E))))	Mid-level-ontology.kif 6256-6268	instance Transfer and Swallowing agent Transfer and Agent Object Object, TransferT and Object instance Object and Mouth instance Object and Esophagus instance TransferT and Stomach objectTransferred Transfer and Object origin Transfer and Object destination Transfer and TransferT path Transfer and Object
(=> (and (instance ?SPIT Drooling) (experiencer ?SPIT ?ANIMAL)) (exists (?MOUTH ?S) (and (instance ?MOUTH Mouth) (objectTransferred ?SPIT ?S) (instance ?S Saliva) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6236-6246	instance Transfer and Drooling experiencer Transfer and Agent Object Object instance Object and Mouth objectTransferred Transfer and Object instance Object and Saliva part Object and Agent origin Transfer and Object
(=> (and (instance ?SU SoftwareUpgrading) (patient ?SU ?C) (instance ?C Computer)) (exists (?P) (and (objectTransferred ?SU ?P) (instance ?P ComputerProgram) (holdsDuring (BeginFn (WhenFn ?SU) (softwareVersion ?P PreviousVersion))) (holdsDuring (EndFn (WhenFn ?SU) (softwareVersion ?P CurrentVersion))))))	ComputingBrands.kif 3789-3803	instance Transfer and ソフトウェアの更新 patient Transfer and Entity instance Entity and Computer Object objectTransferred Transfer and Object instance Object and ComputerProgram holdsDuring BeginFn WhenFn Transfer and softwareVersion Object and PreviousVersion holdsDuring EndFn WhenFn Transfer and softwareVersion Object and CurrentVersion
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2))	Merge.kif 11185-11190	instance Transfer and Transfer objectTransferred Transfer and Object orientation Object, Object and Inside objectTransferred Transfer and Object
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11192-11197	instance Transfer and Transfer objectTransferred Transfer and Object orientation Object, Object and On objectTransferred Transfer and Object
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30332-30347	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity instance Quantity and Integer desires CognitiveAgent and entity entity instance entity and Buying during WhenFn entity and TimeInterval objectTransferred entity and entity transactionAmount entity and CurrencyMeasure agent entity and CognitiveAgent instance entity and Collection memberType entity and Object memberCount entity and Quantity possesses CognitiveAgent and entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30299-30314	shortage Agent, Object, CurrencyMeasure, TimeInterval and Integer instance Integer and Integer Transfer Collection instance Transfer and Buying during WhenFn Transfer and TimeInterval objectTransferred Transfer and Collection transactionAmount Transfer and CurrencyMeasure agent Transfer and Agent instance Collection and Collection memberType Collection and Object memberCount Collection and Integer possesses Agent and Collection
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30349-30363	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity instance Quantity and PhysicalQuantity desires CognitiveAgent and entity entity instance entity and Buying during WhenFn entity and TimeInterval objectTransferred entity and entity transactionAmount entity and CurrencyMeasure agent entity and CognitiveAgent instance entity and Object measure entity and Quantity possesses CognitiveAgent and entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30316-30330	shortage Agent, Object, CurrencyMeasure, TimeInterval and PhysicalQuantity instance PhysicalQuantity and PhysicalQuantity Transfer Object instance Transfer and Buying during WhenFn Transfer and TimeInterval objectTransferred Transfer and Object transactionAmount Transfer and CurrencyMeasure agent Transfer and Agent instance Object and Object measure Object and PhysicalQuantity possesses Agent and Object
(=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VAC (not (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI))))))	WMD.kif 1083-1097	vaccine Vaccine and Virus instance Transfer and Vaccination experiencer Transfer and Agent instance VaccineI and Vaccine objectTransferred Transfer and VaccineI hasPurpose Vaccine and entity instance entity and Infecting experiencer entity and Agent instance VirusI and Virus objectTransferred entity and VirusI
(=> (attribute ?O NewItem) (not (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))))	Cars.kif 5145-5151	attribute Object and NewItem Transfer instance Transfer and Buying objectTransferred Transfer and Object
(=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O))))	Cars.kif 5132-5137	attribute Object and UsedItem Transfer instance Transfer and Buying objectTransferred Transfer and Object
(=> (attribute ?X Booting) (exists (?CD) (and (instance ?CD DigitalData) (instance ?OS OperatingSystem) (instance ?DT DataTransfer) (during ?DT ?X) (destination ?DT ?X) (part ?CD ?OS) (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3185-3195	attribute TimeInterval and 起動 Object instance Object and DigitalData instance Object and OperatingSystem instance TimeInterval and DataTransfer during TimeInterval and TimeInterval destination TimeInterval and TimeInterval part Object and Object objectTransferred TimeInterval and Object
(=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal))	Mid-level-ontology.kif 8929-8941	attribute Object and USNonPrescriptionDrug modalAttribute entity instance entity and Buying objectTransferred entity and Object entity instance entity and Prescription refers entity and Object and Legal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))

ComputingBrands.kif 3275-3281

hasPurpose iBookstore and ?D instance ?D and DownloadingOverNetwork instrument ?D and iBookstore instance ?T and Text objectTransferred ?D and ?T

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: