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

Formal Language: 



KB Term:  Term intersection
English Word: 

  �lement de (@ARGS)

    		•  Sigma KEE - DownloadingOverNetwork
    DownloadingOverNetwork

    appearance as argument number 1
    -------------------------


    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2679-2682
    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2678-2678 DownloadingOverNetwork e' uma sub-classe de NetworkCommunication

    appearance as argument number 2
    -------------------------


    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2701-2701 DownloadingSoftware e' uma sub-classe de DownloadingOverNetwork
    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2713-2713 DownloadingUserFile e' uma sub-classe de DownloadingOverNetwork
    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2694-2694 DownloadingingUpdate e' uma sub-classe de DownloadingOverNetwork
    No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64292-64292
    No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64291-64291
    No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64294-64294
    No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64293-64293
    No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64289-64289
    No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64290-64290

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


    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2684-2692
    No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2667-2672

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


    No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1990-1999
    No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3409-3417

    statement
    -------------------------


    No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 IBookstore tem por fim ?D ?D e' uma instancia de DownloadingOverNetwork IBookstore e' um instrumento para ?D ?T e' uma instancia de Texto objectTransferred ?D and ?T


    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