s__domain(s__DocumentFn__m,1,s__Proposition)

Geography.kif 28592859 
The number 1 argument of document is an instance of proposition 
s__domain(s__activePolicy__m,1,s__Proposition)

TravelPolicies.kif 170170 
The number 1 argument of activePolicy is an instance of proposition 
s__domain(s__agreementAdoptionDate__m,1,s__Proposition)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

TravelPolicies.kif 187187 
The number 1 argument of policyEffectiveDate is an instance of proposition 
s__domain(s__premise__m,2,s__Proposition)

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

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

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

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

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

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