mobilePhoneNumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - mobilePhoneNumber

mobilePhoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25121-25124
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25118-25118	The number 1 argument of mobile phone number is an instance of telecom number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25119-25119	The number 2 argument of mobile phone number is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25117-25117	mobile phone number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25116-25116	mobile phone number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25120-25120	mobile phone number is a subrelation of telephone number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3870-3870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3869-3869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3868-3868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65879-65879

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25142-25148	If an entity has number another entity and the entity is an instance of mobile cell phone and the mobile number of a third entity is the other entity holds during a time position, then the third entity possesses the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25126-25131	If an entity has number another entity and the mobile number of a third entity is the other entity holds during a time position, then the entity is an instance of mobile cell phone

consequent

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

Mid-level-ontology.kif 25133-25140

If an entity is an instance of mobile cell phone and the entity has number another entity and the other entity is the telephone number of a third entity holds during a time position,
then the mobile number of the third entity is the other entity holds during the time position

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