faxNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?Agent) means that ?TelecomNumber identifies a FaxMachine at which ?Agent can be contacted.")	Mid-level-ontology.kif 23107-23109
(domain faxNumber 1 TelecomNumber)	Mid-level-ontology.kif 23105-23105	The number 1 argument of faxNumber is an instance of TelecomNumber
(domain faxNumber 2 Agent)	Mid-level-ontology.kif 23106-23106	The number 2 argument of faxNumber is an instance of agent
(instance faxNumber AsymmetricRelation)	Mid-level-ontology.kif 23104-23104	faxNumber is an instance of asymmetric relation
(instance faxNumber BinaryPredicate)	Mid-level-ontology.kif 23103-23103	faxNumber is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 23122-23127

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 23111-23118

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: