Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - faxNumber
faxNumber

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 faxNumber, 1 and TelecomNumber
(domain faxNumber 2 AutonomousAgent) Mid-level-ontology.kif 25210-25210 faxNumber, 2 and AutonomousAgent
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 25208-25208 faxNumber and AsymmetricRelation
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 25207-25207 faxNumber and BinaryPredicate

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 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 3.0 is open source software produced by Articulate Software and its partners