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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Policy

 Sigma KEE - 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 est une sous-classe de proposition

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2530-2530 ChildrenPolicy est une sous-classe de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2637-2637 HousekeepingPolicy est une sous-classe de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2507 PetPolicy est une sous-classe de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2484-2484 SmokingPolicy est une sous-classe de 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 Le nombre 2 argument de allRoomsPolicy est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2481-2481 Le nombre 1 argument de policyLocationCoverage est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27198-27198 Le nombre 2 argument de policyOwner est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Catalog.kif 257-257 Le nombre 2 argument de pricePolicy est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 613-613 Le nombre 2 argument de propertyPolicy est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 446-446 Le nombre 2 argument de roomPolicy est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 246-246 Le nombre 2 argument de someRoomsPolicy est une instance de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2791-2791 Le nombre 2 argument de policyInclusion est une sous-classe de 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