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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Policy

Sigma KEE - Policy
Policy(policy)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27180-27182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27185-27185 Policy is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2530-2530 Children policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2637-2637 Housekeeping policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2507 Pet policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2484-2484 Smoking policy is a subclass of policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27183-27183

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 231-231 The number 2 argument of room policy in all rooms is an instance of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2481-2481 The number 1 argument of policy location coverage is an instance of policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27198-27198 The number 2 argument of policy owner is an instance of policy
No TPTP formula. May not be expressible in strict first order. Catalog.kif 257-257 The number 2 argument of rate policy is an instance of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 613-613 The number 2 argument of property policy is an instance of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 446-446 The number 2 argument of room policy is an instance of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 246-246 The number 2 argument of room policy in all rooms is an instance of policy
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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27187-27190


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