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 20846-20848
(domain contractor 1 StationaryArtifact)	Mid-level-ontology.kif 20844-20844	The number 1 argument of contractor is an instance of stationary artifact
(domain contractor 2 AutonomousAgent)	Mid-level-ontology.kif 20845-20845	The number 2 argument of contractor is an instance of agent
(instance contractor BinaryPredicate)	Mid-level-ontology.kif 20843-20843	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 65800-65800

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 20850-20863

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: