checkInTime - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - checkInTime

checkInTime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 664-665
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 668-668	The number 1 argument of check-in time is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 669-669	The number 2 argument of check-in time is a subclass of time point
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 663-663	check-in time is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2974-2974
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2973-2973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2972-2972
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 666-666

antecedent

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 671-679

If an organization allows checkins after a kind of time point,
then the statement there exist an entity and another entity such that the entity is an instance of a kind of time point and the other entity is an instance of check-in service and the organization is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity has the modal force of unlikely

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