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 21077-21079
(domain contractor 1 StationaryArtifact)	Mid-level-ontology.kif 21075-21075	The number 1 argument of contractor is an instance of stationary artifact
(domain contractor 2 AutonomousAgent)	Mid-level-ontology.kif 21076-21076	The number 2 argument of contractor is an instance of agent
(instance contractor BinaryPredicate)	Mid-level-ontology.kif 21074-21074	contractor is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage contractor "%2 有 contract 去 build %1 ")	domainEnglishFormat.kif 3102-3102
(format ChineseTraditionalLanguage contractor "%2 有 contract 去 build %1 ")	domainEnglishFormat.kif 3101-3101
(format EnglishLanguage contractor "%2 has a contract to build %1")	domainEnglishFormat.kif 3100-3100
(termFormat EnglishLanguage contractor "contractor")	domainEnglishFormat.kif 65847-65847

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 21081-21094

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: