Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contractor |
| appearance as argument number 1 |
|
| (instance contractor BinaryPredicate) | Mid-level-ontology.kif 23058-23058 | contractor is an instance of binary predicate |
| (domain contractor 1 StationaryArtifact) | Mid-level-ontology.kif 23059-23059 | The number 1 argument of contractor is an instance of stationary artifact |
| (domain contractor 2 AutonomousAgent) | Mid-level-ontology.kif 23060-23060 | The number 2 argument of contractor is an instance of agent |
| (documentation contractor EnglishLanguage "(contractor ?BUILDING ?AGENT) means that some AutonomousAgent ?AGENT has a contract with another ?AGENT to build a StationaryArtifact for the agent.") | Mid-level-ontology.kif 23061-23063 | The number 2 argument of contractor is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage contractor "%2 has a contract to build %1") | domainEnglishFormat.kif 3104-3104 | |
| (format ChineseTraditionalLanguage contractor "%2 有 contract 去 build %1 ") | domainEnglishFormat.kif 3105-3105 | |
| (format ChineseLanguage contractor "%2 有 contract 去 build %1 ") | domainEnglishFormat.kif 3106-3106 | |
| (termFormat EnglishLanguage contractor "contractor") | domainEnglishFormat.kif 65807-65807 |
| antecedent |
|
|
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation ?AGENT ?CONTRACTOR (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))))))) |
Mid-level-ontology.kif 23065-23078 | If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W |
|