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 ?Agent) means that ?TelecomNumber identifies a FaxMachine at which ?Agent can be contacted.") Mid-level-ontology.kif 23080-23082
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 23078-23078 The number 1 argument of faxNumber is an instance of TelecomNumber
(domain faxNumber 2 Agent) Mid-level-ontology.kif 23079-23079 The number 2 argument of faxNumber is an instance of agent
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 23077-23077 faxNumber is an instance of asymmetric relation
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 23076-23076 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 23095-23100

consequent
-------------------------


(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23084-23091


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