Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ClosingContract(closing contract) |  | close, execution, execution_of_instrument |
| appearance as argument number 1 |
|
|
| (subclass ClosingContract Committing) | Mid-level-ontology.kif 23692-23692 | Closing contract is a subclass of committing |
| (documentation ClosingContract EnglishLanguage "Completing a Contract of some sort, e.g. the purchase of a house, closing a business deal, etc.") | Mid-level-ontology.kif 23693-23694 | Closing contract is a subclass of committing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?CLOSE ClosingContract) (agent ?CLOSE ?AGENT) (destination ?CLOSE ?CONTRACT)) (partyToAgreement ?CONTRACT ?AGENT)) |
Mid-level-ontology.kif 23696-23701 | If X is an instance of closing contract, Y is an agent of X, and X ends up at Z, then Y is a party to agreement of Z |
| (=> (instance ?CLOSE ClosingContract) (exists (?AGREE) (and (instance ?AGREE ReachingAgreement) (subProcess ?AGREE ?CLOSE)))) |
Media.kif 125-130 | If X is an instance of closing contract, then there exists Y such that Y is an instance of reaching agreement and Y is a subprocess of X |
|