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

Formal Language: 



KB Term:  Term intersection
English Word: 

  faxNumber

 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 25153-25155
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 25151-25151 Il numero 1 argomenti di faxNumber è un istanza di TelecomNumber
(domain faxNumber 2 AutonomousAgent) Mid-level-ontology.kif 25152-25152 Il numero 2 argomenti di faxNumber è un istanza di AutonomousAgent
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 25150-25150 faxNumber è un' istanza di RelazioneAsimmetrica
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 25149-25149 faxNumber è un' istanza di PredicatoBinario

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 25166-25171

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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