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 | Die Zahl 1 Argument von contractor ist ein fall von StationaryArtifact %n{nicht} |
(domain contractor 2 AutonomousAgent) | Mid-level-ontology.kif 20818-20818 | Die Zahl 2 Argument von contractor ist ein fall von AutonomousAgent %n{nicht} |
(instance contractor BinaryPredicate) | Mid-level-ontology.kif 20816-20816 | contractor ist ein fall von BinaryPredicate %n{nicht} |
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 |