TreeView Knowledge Base Browser

appearance as argument number 1

(instance contractor BinaryPredicate)	Mid-level-ontology.kif 23058-23058	contractor is an instance of binary predicate
(domain contractor 1 StationaryArtifact)	Mid-level-ontology.kif 23059-23059	The number 1 argument of contractor is an instance of stationary artifact
(domain contractor 2 AutonomousAgent)	Mid-level-ontology.kif 23060-23060	The number 2 argument of contractor is an instance of agent
(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 23061-23063	The number 2 argument of contractor is an instance of agent

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 23065-23078

If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W

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

KB Term:			Term intersection

English Word: