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

Formal Language: 



KB Term:  Term intersection
English Word: 

  policyInclusion

Sigma KEE - policyInclusion
policyInclusion

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2787-2788
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2790-2790 The number 1 argument of policy inclusion is an instance of hotel package
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2791-2791 The number 2 argument of policy inclusion is a subclass of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2786-2786 policy inclusion is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4130-4130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4129-4129
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4128-4128
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2789-2789


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