TreeView Knowledge Base Browser

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	Le nombre 1 argument de faxNumber est une instance de TelecomNumber
(domain faxNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25152-25152	Le nombre 2 argument de faxNumber est une instance de AutonomousAgent
(instance faxNumber AsymmetricRelation)	Mid-level-ontology.kif 25150-25150	faxNumber est une instance de relation asym�trique
(instance faxNumber BinaryPredicate)	Mid-level-ontology.kif 25149-25149	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 25166-25171

deviceTelecomNumber entit� and entit� faxNumber entit� and entit� pendant position temporel
entit� est une instance de FaxMachine

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

Entit� est une instance de FaxMachine deviceTelecomNumber entit� and entit� entit� poss�de entit� pendant position temporel
faxNumber entit� and entit� pendant position temporel

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

KB Term:			Term intersection

English Word: