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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sententialSubject
  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 27168-27170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27173-27173 Policy e' uma sub-classe de Proposicao

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2530-2530 ChildrenPolicy e' uma sub-classe de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2637-2637 HousekeepingPolicy e' uma sub-classe de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2507 PetPolicy e' uma sub-classe de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2484-2484 SmokingPolicy e' uma sub-classe de Policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27171-27171

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 231-231 O argumento numero 2 de allRoomsPolicy e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2481-2481 O argumento numero 1 de policyLocationCoverage e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27186-27186 O argumento numero 2 de policyOwner e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Catalog.kif 257-257 O argumento numero 2 de pricePolicy e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 613-613 O argumento numero 2 de propertyPolicy e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 446-446 O argumento numero 2 de roomPolicy e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 246-246 O argumento numero 2 de someRoomsPolicy e' uma instancia de Policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2791-2791 O argumento numero 2 de policyInclusion e' uma sub-classe de Policy

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


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


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