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
-------------------------


(documentation policyInclusion EnglishLanguage "(policyInclusion ?PACKAGE ?POLICY) means that ?POLICY is applicable") Hotel.kif 2787-2788
(domain policyInclusion 1 HotelPackage) Hotel.kif 2790-2790
(domainSubclass policyInclusion 2 Policy) Hotel.kif 2791-2791
(instance policyInclusion BinaryPredicate) Hotel.kif 2786-2786

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


(format ChineseLanguage policyInclusion "%2 是 applicable 对于 %1 ") domainEnglishFormat.kif 4130-4130
(format ChineseTraditionalLanguage policyInclusion "%2 是 applicable 對於 %1 ") domainEnglishFormat.kif 4129-4129
(format EnglishLanguage policyInclusion "%2 is applicable to %1") domainEnglishFormat.kif 4128-4128
(termFormat EnglishLanguage policyInclusion "policy inclusion") 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