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 21908-21910
(domain contractor 1 StationaryArtifact)	Mid-level-ontology.kif 21906-21906	The number 1 argument of contractor is an instance of stationary artifact
(domain contractor 2 AutonomousAgent)	Mid-level-ontology.kif 21907-21907	The number 2 argument of contractor is an instance of agent
(instance contractor BinaryPredicate)	Mid-level-ontology.kif 21905-21905	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 65827-65827

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 21912-21925

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: