Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  agreementAdoptionDate

Sigma KEE - agreementAdoptionDate
agreementAdoptionDate

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 688-691
No TPTP formula. May not be expressible in strict first order. Government.kif 685-685 The number 1 argument of agreement adoption date is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 686-686 The number 2 argument of agreement adoption date is a subclass of time position
No TPTP formula. May not be expressible in strict first order. Government.kif 683-683 agreement adoption date is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Government.kif 682-682 agreement adoption date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 684-684 agreement adoption date is an instance of partial valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 80-80
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 79-79
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 78-78
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5907-5907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5906-5906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5905-5905

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


No TPTP formula. May not be expressible in strict first order. Government.kif 693-700

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3073-3073 The day 1 is an agreement adoption date of antarctic treaty


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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