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



KB Term:  Term intersection
English Word: 

  termLength

Sigma KEE - termLength
termLength

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


(instance termLength TernaryPredicate) Government.kif 1646-1646 term length is an instance of ternary predicate
(domain termLength 1 AutonomousAgent) Government.kif 1647-1647 The number 1 argument of term length is an instance of agent
(domain termLength 2 SocialRole) Government.kif 1648-1648 The number 2 argument of term length is an instance of social role
(domain termLength 3 TimeDuration) Government.kif 1649-1649 The number 3 argument of term length is an instance of time duration
(documentation termLength EnglishLanguage "(termLength ?ORG ?ROLE ?LENGTH) means that in the Organization or GeopoliticalArea ?ORG, the term of office for the position ?ROLE is the TimeDuration ?LENGTH.") Government.kif 1651-1653 The number 3 argument of term length is an instance of time duration

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners