s__domain(s__DocumentFn__m,n__1,s__Proposition)

Geography.kif 28712871 
The number 1 argument of document is an instance of proposition 
s__domain(s__accountInformation__m,n__2,s__Proposition)

ComputingBrands.kif 43374337 
The number 2 argument of account information is an instance of proposition 
s__domain(s__agreementAdoptionDate__m,n__1,s__Proposition)

Government.kif 685685 
The number 1 argument of agreement adoption date is an instance of proposition 
s__domain(s__agreementClause__m,n__1,s__Proposition)

Midlevelontology.kif 1167611676 
The number 1 argument of agreement clause is an instance of proposition 
s__domain(s__agreementEffectiveDuring__m,n__1,s__Proposition)

Government.kif 745745 
The number 1 argument of agreement effective during is an instance of proposition 
s__domain(s__agreementRevisionDate__m,n__1,s__Proposition)

Government.kif 716716 
The number 1 argument of agreement revision date is an instance of proposition 
s__domain(s__agreementRevisionDate__m,n__3,s__Proposition)

Government.kif 718718 
The number 3 argument of agreement revision date is an instance of proposition 
s__domain(s__capacityByArrangement__m,n__2,s__Proposition)

Hotel.kif 760760 
The number 2 argument of capacity by arrangement is an instance of proposition 
s__domain(s__conclusion__m,n__2,s__Proposition)

Merge.kif 1569015690 
The number 2 argument of conclusion is an instance of proposition 
s__domain(s__conforms__m,n__2,s__Proposition)

Midlevelontology.kif 2511725117 
The number 2 argument of conforms is an instance of proposition 
s__domain(s__consistent__m,n__1,s__Proposition)

Merge.kif 1569815698 
The number 1 argument of consistent is an instance of proposition 
s__domain(s__consistent__m,n__2,s__Proposition)

Merge.kif 1569915699 
The number 2 argument of consistent is an instance of proposition 
s__domain(s__containsInformation__m,n__2,s__Proposition)

Merge.kif 12521252 
The number 2 argument of contains information is an instance of proposition 
s__domain(s__dateOpenedForSignature__m,n__1,s__Proposition)

Geography.kif 29292929 
The number 1 argument of date opened for signature is an instance of proposition 
s__domain(s__insured__m,n__1,s__Proposition)

Midlevelontology.kif 68176817 
The number 1 argument of insured is an instance of proposition 
s__domain(s__originalExpressedInLanguage__m,n__1,s__Proposition)

Music.kif 14461446 
The number 1 argument of original expressed in language is an instance of proposition 
s__domain(s__premise__m,n__2,s__Proposition)

Merge.kif 1566615666 
The number 2 argument of premise is an instance of proposition 
s__domain(s__propositionOwner__m,n__2,s__Proposition)

Catalog.kif 165165 
The number 2 argument of proposition owner is an instance of proposition 
s__domain(s__realization__m,n__2,s__Proposition)

Merge.kif 43714371 
The number 2 argument of realization is an instance of proposition 
s__domain(s__reservedPackage__m,n__2,s__Proposition)

Hotel.kif 29122912 
The number 2 argument of reserved package is an instance of proposition 
s__domain(s__subProposition__m,n__1,s__Proposition)

Merge.kif 44064406 
The number 1 argument of sub proposition is an instance of proposition 
s__domain(s__subProposition__m,n__2,s__Proposition)

Merge.kif 44074407 
The number 2 argument of sub proposition is an instance of proposition 