TreeView Knowledge Base Browser

appearance as argument number 1

(documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.")	Mid-level-ontology.kif 25211-25213
(domain faxNumber 1 TelecomNumber)	Mid-level-ontology.kif 25209-25209
(domain faxNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25210-25210
(instance faxNumber AsymmetricRelation)	Mid-level-ontology.kif 25208-25208
(instance faxNumber BinaryPredicate)	Mid-level-ontology.kif 25207-25207

appearance as argument number 2

(format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ")	domainEnglishFormat.kif 3426-3426
(format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ")	domainEnglishFormat.kif 3425-3425
(format EnglishLanguage faxNumber "the fax number of %2 is %1")	domainEnglishFormat.kif 3424-3424
(termFormat EnglishLanguage faxNumber "fax number")	domainEnglishFormat.kif 65829-65829

antecedent

(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))

Mid-level-ontology.kif 25224-25229

consequent

(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))

Mid-level-ontology.kif 25215-25222

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

KB Term:			Term intersection

English Word: