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 25154-25156
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 25152-25152 Le nombre 1 argument de faxNumber est une instance de TelecomNumber
(domain faxNumber 2 AutonomousAgent) Mid-level-ontology.kif 25153-25153 Le nombre 2 argument de faxNumber est une instance de AutonomousAgent
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 25151-25151 faxNumber est une instance de relation asym�trique
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 25150-25150 faxNumber est une instance de pr�dicat binaire

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 65827-65827

antecedent
-------------------------


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

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


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


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