phoneNumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - phoneNumber

phoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3682-3683
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3680-3680	Le nombre 1 argument de phoneNumber est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3681-3681	Le nombre 2 argument de phoneNumber est une instance de Telephone
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3678-3678	phoneNumber est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3679-3679	phoneNumber est une sous-relation de refers

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1959-1959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1958-1958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1957-1957
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45596-45596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45595-45595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45594-45594

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 6 nombre r�el est moins que 18 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 18 nombre r�el est moins que 6 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el

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