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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasAccount
hasAccount

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2078-2079
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2076-2076 The number 1 argument of has account is an instance of agent
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2077-2077 The number 2 argument of has account is an instance of user account
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2075-2075 has account is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2074-2074 has account is a subrelation of possesses

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3607-3607
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3606-3606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3605-3605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27496-27496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27495-27495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27494-27494

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1076-1080
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4347-4364
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 820-825
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4043-4055
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3999-4012
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4021-4034
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4486-4496
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3929-3940
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3892-3906
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3908-3922
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1295-1299
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2057-2060
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2094-2097
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2081-2085

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4063-4073
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4486-4496
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3885-3890
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1932-1951
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1964-1983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1996-2015
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2046-2049
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4257-4265
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1068-1074


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