TreeView 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	contractor 的 1 数量是固定人工制品的 instance
(domain contractor 2 AutonomousAgent)	Mid-level-ontology.kif 22435-22435	contractor 的 2 数量是施事体的 instance
(instance contractor BinaryPredicate)	Mid-level-ontology.kif 22433-22433	contractor 是二元谓语的 instance

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

如果有认知的主事有 contract 去 build 固定人工制品，
然后有存在协议和另一个有认知的主事这样那个协议有合同的 attribute 和那个协议是那个另外有认知的主事的 party 协议和那个协议是那个有认知的主事的 party 协议和那个另外有认知的主事要求那个有认知的主事执行有存在实体和那个固定人工制品2 这样那个实体是建筑的 instance 和那个有认知的主事是那个实体的 agent 和那个固定人工制品2 是那个实体的 result 和那个固定人工制品2 是固定人工制品的 instance 的任务

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

KB Term:			Term intersection

English Word: