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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - managedBy
managedBy

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 618-620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 624-624 The number 1 argument of managed by is an instance of physical
No TPTP formula. May not be expressible in strict first order. Hotel.kif 625-625 The number 2 argument of managed by is an instance of agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 616-616 managed by is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3815-3815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3814-3814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3813-3813
No TPTP formula. May not be expressible in strict first order. Hotel.kif 622-622

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 627-634

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1284-1290
No TPTP formula. May not be expressible in strict first order. Music.kif 1058-1060

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3281-3281 IBookstore is managed by Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3333-3333 ICloud is managed by Apple


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