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 2488-2491
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2492-2492 The number 1 argument of policy location coverage is an instance of policy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2493-2493 The number 2 argument of policy location coverage is an instance of object
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2487-2487 policy location coverage is an instance of binary predicate

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


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

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2546-2564
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2637-2646
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2588-2597
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2604-2613
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2523-2539
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 2621-2630
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2500-2516

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 619-624
No TPTP formula. May not be expressible in strict first order. Hotel.kif 448-453


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