s__domain(s__applicableRelation__m,n__2,s__Relation)

Midlevelontology.kif 2978129781 
The number 2 argument of applicableRelation is an instance of relation 
s__domain(s__disjointRelation__m,n__1,s__Relation)

Merge.kif 411411 
The number 1 argument of disjoint relation is an instance of relation 
s__domain(s__disjointRelation__m,n__2,s__Relation)

Merge.kif 412412 
The number 2 argument of disjoint relation is an instance of relation 
s__domain(s__domain__m,n__1,s__Relation)

Merge.kif 206206 
The number 1 argument of domain is an instance of relation 
s__domain(s__domainSubclass__m,n__1,s__Relation)

Merge.kif 228228 
The number 1 argument of domain subclass is an instance of relation 
s__domain(s__exactCardinality__m,n__1,s__Relation)

Media.kif 20712071 
The number 1 argument of exactCardinality is an instance of relation 
s__domain(s__maxCardinality__m,n__1,s__Relation)

Media.kif 21892189 
The number 1 argument of maxCardinality is an instance of relation 
s__domain(s__minCardinality__m,n__1,s__Relation)

Media.kif 21532153 
The number 1 argument of minCardinality is an instance of relation 
s__domain(s__subrelation__m,n__1,s__Relation)

Merge.kif 169169 
The number 1 argument of subrelation is an instance of relation 
s__domain(s__subrelation__m,n__2,s__Relation)

Merge.kif 170170 
The number 2 argument of subrelation is an instance of relation 
s__domain(s__valence__m,n__1,s__Relation)

Merge.kif 360360 
The number 1 argument of valence is an instance of relation 