(domain KappaFn 2 Formula) 
Merge.kif 53455345 
The number 2 argument of kappa is an instance of formula 
(domain ProbabilityFn 1 Formula) 
Merge.kif 24812481 
The number 1 argument of probability is an instance of formula 
(domain attitudeForFormula 3 Formula) 
emotion.kif 20382038 
The number 3 argument of attitudeForFormula is an instance of formula 
(domain believes 2 Formula) 
Merge.kif 27192719 
The number 2 argument of believes is an instance of formula 
(domain causesProposition 1 Formula) 
Merge.kif 36943694 
The number 1 argument of causes proposition is an instance of formula 
(domain causesProposition 2 Formula) 
Merge.kif 36953695 
The number 2 argument of causes proposition is an instance of formula 
(domain conditionalProbability 1 Formula) 
Merge.kif 24912491 
The number 1 argument of conditional probability is an instance of formula 
(domain conditionalProbability 2 Formula) 
Merge.kif 24922492 
The number 2 argument of conditional probability is an instance of formula 
(domain confersNorm 2 Formula) 
Merge.kif 38653865 
The number 2 argument of confers norm is an instance of formula 
(domain confersObligation 1 Formula) 
Merge.kif 1664516645 
The number 1 argument of confers obligation is an instance of formula 
(domain confersRight 1 Formula) 
Merge.kif 1662416624 
The number 1 argument of confers right is an instance of formula 
(domain considers 2 Formula) 
Merge.kif 27092709 
The number 2 argument of considers is an instance of formula 
(domain containsFormula 2 Formula) 
Law.kif 2222 
The number 2 argument of contains formula is an instance of formula 
(domain decreasesLikelihood 1 Formula) 
Merge.kif 25242524 
The number 1 argument of decreases likelihood is an instance of formula 
(domain decreasesLikelihood 2 Formula) 
Merge.kif 25252525 
The number 2 argument of decreases likelihood is an instance of formula 
(domain deprivesNorm 2 Formula) 
Merge.kif 38873887 
The number 2 argument of deprives norm is an instance of formula 
(domain describes 1 Formula) 
Midlevelontology.kif 1444814448 
The number 1 argument of describes is an instance of formula 
(domain desires 2 Formula) 
Merge.kif 26972697 
The number 2 argument of desires is an instance of formula 
(domain disapproves 2 Formula) 
Midlevelontology.kif 68056805 
The number 2 argument of disapproves is an instance of formula 
(domain doubts 2 Formula) 
Midlevelontology.kif 67756775 
The number 2 argument of doubts is an instance of formula 
(domain entails 1 Formula) 
Merge.kif 736736 
The number 1 argument of entails is an instance of formula 
(domain entails 2 Formula) 
Merge.kif 737737 
The number 2 argument of entails is an instance of formula 
(domain expects 2 Formula) 
Midlevelontology.kif 67366736 
The number 2 argument of expects is an instance of formula 
(domain hasPurpose 2 Formula) 
Merge.kif 38183818 
The number 2 argument of has purpose is an instance of formula 
(domain hasPurposeForAgent 2 Formula) 
Merge.kif 38343834 
The number 2 argument of has purpose for agent is an instance of formula 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 