contractor |
appearance as argument number 1 |
(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 20819-20821 | |
(domain contractor 1 StationaryArtifact) | Mid-level-ontology.kif 20817-20817 | The number 1 argument of contractor is an instance of stationary artifact |
(domain contractor 2 AutonomousAgent) | Mid-level-ontology.kif 20818-20818 | The number 2 argument of contractor is an instance of agent |
(instance contractor BinaryPredicate) | Mid-level-ontology.kif 20816-20816 | contractor is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage contractor "%2 有 contract 去 build %1 ") | domainEnglishFormat.kif 3110-3110 | |
(format ChineseTraditionalLanguage contractor "%2 有 contract 去 build %1 ") | domainEnglishFormat.kif 3109-3109 | |
(format EnglishLanguage contractor "%2 has a contract to build %1") | domainEnglishFormat.kif 3108-3108 | |
(termFormat EnglishLanguage contractor "contractor") | domainEnglishFormat.kif 65798-65798 |
antecedent |