;Billy Davidson, Peter Soudek, Alex Shoykhet, Nader Varjavand

Default Mt: UniversalVocabularyMt.
Constant: HarryPotterMt.
isa: Microtheory.
genlMt: WorldLikeOursCollectorMt.

Default Mt: HarryPotterMt.

Constant: FeelHappy.
isa: Happiness.

Constant: FeelPanic.
isa: Panic.

Constant: FeelJealousy.
isa: Jealousy.

Constant: FeelAnger.
isa: Anger.

Constant: FeelGratitude.
isa: Gratitude.

Constant: FeelSatisfaction.
isa: Satisfaction.

Constant: FeelLoyalty. 
isa: Loyalty .

Constant: Harry.
isa: Person.

Constant: Malfoy.
isa: Person.

Constant: Hermione.
isa: Person.

Constant: Ron.
isa: Person.

F: (friends Harry Hermione).
F: (friends Ron Hermione).
F: (friends Harry Ron).

Constant: Broom.
isa: SomethingExisting.

F: (owns Harry Broom).

Constant: QuidditchMatchEvent.
isa: GameEvent.

Constant: StealBroomEvent.
isa: Stealing-Generic.
performedBy: Malfoy.
maleficiary: Harry.


Constant: SearchForBroomEvent.
isa: LookingForSomething.
actors: Harry.
actors: Ron.
actors: Hermione.

Constant: FindBroomEvent.
isa: Event.
actors: Ron.
beneficiary: Harry.
maleficiary: Malfoy.
causedBy: SearchForBroomEvent.

F: (causes-ThingProp QuidditchMatchEvent (feelsEmotion Harry FeelHappy)).
F: (causes-ThingProp QuidditchMatchEvent (feelsEmotion Malfoy FeelJealousy)).
F: (causes-ThingProp QuidditchMatchEvent (feelsEmotion Malfoy FeelAnger)).

F: (causes-ThingProp StealBroomEvent (feelsEmotion Harry FeelAnger)).
F: (causes-ThingProp StealBroomEvent (feelsEmotion Hermione FeelAnger)).
F: (causes-ThingProp StealBroomEvent (feelsEmotion Ron FeelAnger)).
F: (causes-ThingProp StealBroomEvent (feelsEmotion Malfoy FeelHappy)).

F: (causes-ThingProp SearchForBroomEvent (feelsEmotion Harry FeelPanic)).
F: (causes-ThingProp SearchForBroomEvent (feelsEmotion Hermione FeelPanic)).
F: (causes-ThingProp SearchForBroomEvent (feelsEmotion Ron FeelPanic)).

F: (causes-ThingProp FindBroomEvent (feelsEmotion Harry FeelGratitude)).
F: (causes-ThingProp FindBroomEvent (feelsEmotion Ron FeelSatisfaction)).
F: (causes-ThingProp FindBroomEvent (feelsEmotion Hermione FeelHappy)). 

;;;;;

Constant: enables-PropThing.
In Mt : UniversalVocabularyMt.
isa :  BinaryPredicate  .

In Mt : BaseKB.
isa :  PropositionPredicate ProposedPublicConstant PublicConstant  . genlPreds :  enables-Generic  .

In Mt : UniversalVocabularyMt.
arity :  2  .

In Mt : BaseKB.
arg2Isa :  Individual  .
arg1Isa :  ELSentence-Assertible  .

In Mt : UniversalVocabularyMt.
F: (argIsa enables-PropThing 2 Individual).
F: (argIsa enables-PropThing 1 ELSentence-Assertible).

In Mt : BaseKB.
F: (argIsa enables-PropThing 1 ELSentence-Assertible).
F: (argIsa enables-PropThing 2 Individual).

In Mt : BaseKB .
typedGenlPreds :  enables-Generic  .

Constant: causes-PropThing .
In Mt : UniversalVocabularyMt.
isa :  BinaryPredicate  .

In Mt : BaseKB.
isa :  PropositionPredicate PublicConstant  .
genlPreds :  enables-PropThing  .

In Mt : UniversalVocabularyMt.
arity :  2  .

In Mt : BaseKB.
arg2Isa :  Individual  .
arg1Isa :  ELSentence-Assertible . 

In Mt : UniversalVocabularyMt.
F: (argIsa causes-PropThing 2 Individual).
F: (argIsa causes-PropThing 1 ELSentence-Assertible).

In Mt : BaseKB.
F: (argIsa causes-PropThing 1 ELSentence-Assertible).
F: (argIsa causes-PropThing 2 Individual).

In Mt : BaseKB.
F: (genlPreds causes-PropThing enables-PropThing).

F: (causes-PropThing (feelEmotion Malfoy FeelJealousy) StealBroomEvent) .
F: (causes-PropThing (feelEmotion Ron FeelLoyalty) SearchForBroomEvent) .



;Billy Davidson, Peter Soudek, Alex Shoykhet ,Nader Varjavand

Default Mt: UniversalVocabularyMt.
Constant: HarryPotterMt.
isa: Microtheory.
genlMt: WorldLikeOursCollectorMt.

Default Mt: HarryPotterMt.

Constant: FeelHappy.
isa: Happiness.

Constant: FeelPanic.
isa: Panic.

Constant: FeelJealousy.
isa: Jealousy.

Constant: FeelAnger.
isa: Anger.

Constant: FeelGratitude.
isa: Gratitude.

Constant: FeelSatisfaction.
isa: Satisfaction.

Constant: FeelLoyalty. 
isa: Loyalty .

Constant: Harry.
isa: Person.

Constant: Malfoy.
isa: Person.

Constant: Hermione.
isa: Person.

Constant: Ron.
isa: Person.

F: (friends Harry Hermione).
F: (friends Ron Hermione).
F: (friends Harry Ron).

Constant: Broom.
isa: SomethingExisting.

F: (owns Harry Broom).

Constant: QuidditchMatchEvent.
isa: GameEvent.

Constant: StealBroomEvent.
isa: Stealing-Generic.
performedBy: Malfoy.
maleficiary: Harry.


Constant: SearchForBroomEvent.
isa: LookingForSomething.
actors: Harry.
actors: Ron.
actors: Hermione.

Constant: FindBroomEvent.
isa: Event.
actors: Ron.
beneficiary: Harry.
maleficiary: Malfoy.
causedBy: SearchForBroomEvent.

F: (causes-ThingProp QuidditchMatchEvent (feelsEmotion Harry FeelHappy)).
F: (causes-ThingProp QuidditchMatchEvent (feelsEmotion Malfoy FeelJealousy)).
F: (causes-ThingProp QuidditchMatchEvent (feelsEmotion Malfoy FeelAnger)).

F: (causes-ThingProp StealBroomEvent (feelsEmotion Harry FeelAnger)).
F: (causes-ThingProp StealBroomEvent (feelsEmotion Hermione FeelAnger)).
F: (causes-ThingProp StealBroomEvent (feelsEmotion Ron FeelAnger)).
F: (causes-ThingProp StealBroomEvent (feelsEmotion Malfoy FeelHappy)).

F: (causes-ThingProp SearchForBroomEvent (feelsEmotion Harry FeelPanic)).
F: (causes-ThingProp SearchForBroomEvent (feelsEmotion Hermione FeelPanic)).
F: (causes-ThingProp SearchForBroomEvent (feelsEmotion Ron FeelPanic)).

F: (causes-ThingProp FindBroomEvent (feelsEmotion Harry FeelGratitude)).
F: (causes-ThingProp FindBroomEvent (feelsEmotion Ron FeelSatisfaction)).
F: (causes-ThingProp FindBroomEvent (feelsEmotion Hermione FeelHappy)). 

;;;;;

Constant: enables-PropThing.
In Mt : UniversalVocabularyMt.
isa :  BinaryPredicate  .

In Mt : BaseKB.
isa :  PropositionPredicate ProposedPublicConstant PublicConstant  . genlPreds :  enables-Generic  .

In Mt : UniversalVocabularyMt.
arity :  2  .

In Mt : BaseKB.
arg2Isa :  Individual  .
arg1Isa :  ELSentence-Assertible  .

In Mt : UniversalVocabularyMt.
F: (argIsa enables-PropThing 2 Individual).
F: (argIsa enables-PropThing 1 ELSentence-Assertible).

In Mt : BaseKB.
F: (argIsa enables-PropThing 1 ELSentence-Assertible).
F: (argIsa enables-PropThing 2 Individual).

In Mt : BaseKB .
typedGenlPreds :  enables-Generic  .

Constant: causes-PropThing .
In Mt : UniversalVocabularyMt.
isa :  BinaryPredicate  .

In Mt : BaseKB.
isa :  PropositionPredicate PublicConstant  .
genlPreds :  enables-PropThing  .

In Mt : UniversalVocabularyMt.
arity :  2  .

In Mt : BaseKB.
arg2Isa :  Individual  .
arg1Isa :  ELSentence-Assertible . 

In Mt : UniversalVocabularyMt.
F: (argIsa causes-PropThing 2 Individual).
F: (argIsa causes-PropThing 1 ELSentence-Assertible).

In Mt : BaseKB.
F: (argIsa causes-PropThing 1 ELSentence-Assertible).
F: (argIsa causes-PropThing 2 Individual).

In Mt : BaseKB.
F: (genlPreds causes-PropThing enables-PropThing).

F: (causes-PropThing (feelEmotion Malfoy FeelJealousy) StealBroomEvent) .
F: (causes-PropThing (feelEmotion Ron FeelLoyalty) SearchForBroomEvent) .