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	The number 1 argument of fax number is an instance of telecom number
(domain faxNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25210-25210	The number 2 argument of fax number is an instance of agent
(instance faxNumber AsymmetricRelation)	Mid-level-ontology.kif 25208-25208	fax number is an instance of asymmetric relation
(instance faxNumber BinaryPredicate)	Mid-level-ontology.kif 25207-25207	fax number is an instance of binary predicate

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

If an entity has number another entity and the fax number of a third entity is the other entity holds during a time position,
then the entity 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 25215-25222

If an entity is an instance of fax machine and the entity has number another entity and a third entity possesses the entity holds during a time position,
then the fax number of the third entity is the other entity holds during the time position

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

KB Term:			Term intersection

English Word: