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 2423-2426
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2427-2427 The number 1 argument of policyLocationCoverage is an instance of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2428-2428 The number 2 argument of policyLocationCoverage is an instance of object
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2422-2422 policyLocationCoverage is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4135-4135
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

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 2572-2581
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 2458-2474
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 2435-2451

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 588-593
No TPTP formula. May not be expressible in strict first order. Hotel.kif 424-429


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