TreeView Knowledge Base Browser

appearance as argument number 1

(instance faxNumber BinaryPredicate)	Mid-level-ontology.kif 27470-27470	fax number is an instance of binary predicate
(instance faxNumber AsymmetricRelation)	Mid-level-ontology.kif 27471-27471	fax number is an instance of asymmetric relation
(domain faxNumber 1 TelecomNumber)	Mid-level-ontology.kif 27472-27472	The number 1 argument of fax number is an instance of telecom number
(domain faxNumber 2 AutonomousAgent)	Mid-level-ontology.kif 27473-27473	The number 2 argument of fax number is an instance of agent
(documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.")	Mid-level-ontology.kif 27474-27476	The number 2 argument of fax number is an instance of agent

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 27487-27492

If X has number Y and the fax number of Z is Y holds during W, then X is an instance of fax machine

consequent

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

Mid-level-ontology.kif 27478-27485

If X is an instance of fax machine and X has number Y and Z possesses X holds during W, then the fax number of Z is Y holds during W

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

KB Term:			Term intersection

English Word: