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 27489-27489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27488-27488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27487-27487

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1078-1082
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4398-4415
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 822-827
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4094-4106
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4050-4063
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4072-4085
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4537-4547
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3980-3991
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1296-1300
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 4114-4124
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4537-4547
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3936-3941
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1935-1954
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1967-1986
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1999-2018
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 4308-4316
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1070-1076


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