contractor - Sigma Knowledge base Browser

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 22436-22438
(domain contractor 1 StationaryArtifact)	Mid-level-ontology.kif 22434-22434	The number 1 argument of contractor is an instance of stationary artifact
(domain contractor 2 AutonomousAgent)	Mid-level-ontology.kif 22435-22435	The number 2 argument of contractor is an instance of agent
(instance contractor BinaryPredicate)	Mid-level-ontology.kif 22433-22433	contractor is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage contractor "%2 有 contract 去 build %1 ")	domainEnglishFormat.kif 3106-3106
(format ChineseTraditionalLanguage contractor "%2 有 contract 去 build %1 ")	domainEnglishFormat.kif 3105-3105
(format EnglishLanguage contractor "%2 has a contract to build %1")	domainEnglishFormat.kif 3104-3104
(termFormat EnglishLanguage contractor "contractor")	domainEnglishFormat.kif 65798-65798

antecedent

(=>
    (contractor ?BUILDING ?CONTRACTOR)
    (exists (?CONTRACT ?AGENT)
        (and
            (property ?CONTRACT Contract)
            (partyToAgreement ?AGENT ?CONTRACT)
            (partyToAgreement ?CONTRACTOR ?CONTRACT)
            (confersObligation
                (exists (?CONSTRUCT ?BUILDING2)
                    (and
                        (instance ?CONSTRUCT Constructing)
                        (agent ?CONSTRUCT ?CONTRACTOR)
                        (result ?CONSTRUCT ?BUILDING2)
                        (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))

Mid-level-ontology.kif 22440-22453

If a cognitive agent has a contract to build a stationary artifact,
then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: