(domain DocumentFn 1 Proposition) |
Geography.kif 2945-2945 |
The number 1 argument of document is an instance of proposition |
(domain accountInformation 2 Proposition) |
ComputingBrands.kif 4410-4410 |
The number 2 argument of account information is an instance of proposition |
(domain agreementAdoptionDate 1 Proposition) |
Government.kif 698-698 |
The number 1 argument of agreement adoption date is an instance of proposition |
(domain agreementClause 1 Proposition) |
Mid-level-ontology.kif 13913-13913 |
The number 1 argument of agreement clause is an instance of proposition |
(domain agreementEffectiveDuring 1 Proposition) |
Government.kif 758-758 |
The number 1 argument of agreement effective during is an instance of proposition |
(domain agreementRevisionDate 1 Proposition) |
Government.kif 729-729 |
The number 1 argument of agreement revision date is an instance of proposition |
(domain agreementRevisionDate 3 Proposition) |
Government.kif 731-731 |
The number 3 argument of agreement revision date is an instance of proposition |
(domain capacityByArrangement 2 Proposition) |
Hotel.kif 787-787 |
The number 2 argument of capacity by arrangement is an instance of proposition |
(domain conclusion 2 Proposition) |
Merge.kif 16749-16749 |
The number 2 argument of conclusion is an instance of proposition |
(domain conforms 2 Proposition) |
Mid-level-ontology.kif 26823-26823 |
The number 2 argument of conforms is an instance of proposition |
(domain consistent 1 Proposition) |
Merge.kif 16757-16757 |
The number 1 argument of consistent is an instance of proposition |
(domain consistent 2 Proposition) |
Merge.kif 16758-16758 |
The number 2 argument of consistent is an instance of proposition |
(domain containsInformation 2 Proposition) |
Merge.kif 1330-1330 |
The number 2 argument of contains information is an instance of proposition |
(domain dateOpenedForSignature 1 Proposition) |
Geography.kif 3003-3003 |
The number 1 argument of date opened for signature is an instance of proposition |
(domain insured 1 Proposition) |
Mid-level-ontology.kif 7096-7096 |
The number 1 argument of insured is an instance of proposition |
(domain originalExpressedInLanguage 1 Proposition) |
Music.kif 1452-1452 |
The number 1 argument of original expressed in language is an instance of proposition |
(domain premise 2 Proposition) |
Merge.kif 16725-16725 |
The number 2 argument of premise is an instance of proposition |
(domain propositionOwner 2 Proposition) |
Catalog.kif 170-170 |
The number 2 argument of proposition owner is an instance of proposition |
(domain realization 2 Proposition) |
Merge.kif 4533-4533 |
The number 2 argument of realization is an instance of proposition |
(domain reservedPackage 2 Proposition) |
Hotel.kif 2971-2971 |
The number 2 argument of reserved package is an instance of proposition |
(domain subProposition 1 Proposition) |
Merge.kif 4572-4572 |
The number 1 argument of sub proposition is an instance of proposition |
(domain subProposition 2 Proposition) |
Merge.kif 4573-4573 |
The number 2 argument of sub proposition is an instance of proposition |