policyLocationCoverage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - policyLocationCoverage

policyLocationCoverage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2477-2480
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2481-2481	policyLocationCoverage 的 1 数量是 Policy 的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2482-2482	policyLocationCoverage 的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2476-2476	policyLocationCoverage 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4134-4134
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4133-4133
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4132-4132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65901-65901

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2535-2553	如果 Policy 是 ChildrenPolicy 的 instance 和机构 enacts policy 那个 Policy 和那个 Policy covers 客体，然后那个 Policy contains 有存在实体这样那个机构是那个实体的 customer 和那个实体是人类的孩子的 instance 的声明 has 可能性的语气的资料或那个 Policy contains 有存在另一个实体这样那个机构是那个另外实体的 customer 和那个另外实体是人类的孩子的 instance 的声明 doesn't have 可能性的语气的资料
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2626-2635	如果 Policy 是 NoChildrenPolicy 的 instance 和那个 Policy covers 客体和机构 enacts policy 那个 Policy ，然后那个机构对允许剥夺规范有存在实体这样那个实体是人类的孩子的 instance 和那个实体是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2577-2586	如果 Policy 是 NoPetsPolicy 的 instance 和那个 Policy covers 客体和机构 enacts policy 那个 Policy ，然后那个机构对允许剥夺规范有存在实体这样那个实体是家畜的 instance 和那个实体是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2593-2602	如果 Policy 是 NoSmokingPolicy 的 instance 和那个 Policy covers 客体和机构 enacts policy 那个 Policy ，然后那个机构对允许剥夺规范有存在实体这样那个实体是抽烟的 instance 和那个实体是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2512-2528	如果 Policy 是 PetPolicy 的 instance 和那个 Policy covers 客体，然后那个 Policy contains 有存在实体这样那个实体是家畜的 instance 和那个实体是 located 在那个客体的声明 has 允许的语气的资料或那个 Policy contains 有存在另一个实体这样那个另外实体是家畜的 instance 和那个另外实体是 located 在那个客体的声明 has 禁令的语气的资料
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2561-2570	如果 Policy 是 PetsAllowedPolicy 的 instance 和那个 Policy covers 客体和机构 enacts policy 那个 Policy ，然后那个机构 confers 规范有存在实体这样那个实体是家畜的 instance 和那个实体是 located 在那个客体对于允许
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2610-2619	如果 Policy 是 SmokingAllowedPolicy 的 instance 和那个 Policy covers 客体和机构 enacts policy 那个 Policy ，然后那个机构 confers 规范有存在实体这样那个实体是抽烟的 instance 和那个实体是 located 在那个客体对于允许
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2489-2505	如果 Policy 是 SmokingPolicy 的 instance 和那个 Policy covers 客体，然后那个 Policy contains 有存在实体这样那个实体是抽烟的 instance 和那个实体是 located 在那个客体的声明 has 允许的语气的资料或那个 Policy contains 有存在另一个实体这样那个另外实体是抽烟的 instance 和那个另外实体是 located 在那个客体的声明 has 禁令的语气的资料

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 615-620	如果施事体有 Policy ，然后对所有客体如果那个客体是那个施事体的财产的 element，然后那个 Policy covers 那个客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 448-453	如果 Policy 是应用在有点 HotelUnit 的 policy ，然后对所有客体如果那个客体是有点 HotelUnit 的 instance，然后那个 Policy covers 那个客体

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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