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 faxNumber の数値 1 引数は TelecomNumberinstance では %n
(domain faxNumber 2 AutonomousAgent) Mid-level-ontology.kif 25153-25153 faxNumber の数値 2 引数は AutonomousAgentinstance では %n
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 25151-25151 faxNumber非対称関係instance では %n
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 25150-25150 faxNumber2進述語instance では %n

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