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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - policyOwner
policyOwner

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25503-25503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25506-25506 The number 1 argument of policy owner is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25507-25507 The number 2 argument of policy owner is an instance of policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25502-25502 policy owner is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4139-4139
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4138-4138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4137-4137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25504-25504

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2481-2499
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2600-2620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2572-2581
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2643
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2523-2532
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2539-2548
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2516
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2556-2565
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2650-2665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25511-25517

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2588-2593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25497-25500


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners